public static bool TryNavigateToSpan( this IDocumentNavigationService service, Workspace workspace, DocumentId documentId, TextSpan textSpan, CancellationToken cancellationToken ) => service.TryNavigateToSpan( workspace, documentId, textSpan, options: null, cancellationToken );
public static bool TryNavigateToSpan( this IDocumentNavigationService service, Workspace workspace, DocumentId documentId, TextSpan textSpan, OptionSet options, CancellationToken cancellationToken ) => service.TryNavigateToSpan( workspace, documentId, textSpan, options, allowInvalidSpan: false, cancellationToken );