anchor.diff:              | FSharpFindDeclResult.DeclFound range -> return range
               | _ -> return! None
       }
  +
   
       /// Construct a task that will return a navigation target for the implementation definition of the symbol 
       /// at the provided position in the document
  
positive.code:                 (targetDocument, symbolRange, targetSourceText, checkerProvider.Checker, projectInfoManager) 
          return tryNavigateToItem navresult
      }
  
      static member FindDefinition
          (checker: FSharpChecker, documentKey: DocumentId, sourceText: SourceText, filePath: string, position: int,
  
negative.code:         }   |> Async.map (Option.defaultValue Seq.empty)
              |> RoslynHelpers.StartAsyncAsTask cancellationToken        
  
     
      interface IGoToDefinitionService with
          
          // used for 'definition peek'
          member this.FindDefinitionsAsync (document: Document, position: int, cancellationToken: CancellationToken) =
              this.FindDefinitionsTask (document, position, cancellationToken)
          
  
          // used for 'goto definition' proper
          /// Try to navigate to the definiton of the symbol at the symbolRange in the originDocument
  