Skip to content

Go To Source Definition feedback thread #49003

Description

Seeding a thread for feedback on / issues with Go To Source Definition (#48264) ahead of the 4.7 release.

TL;DR

TypeScript 4.7 (already in nightly) and VS Code 1.67 (already released) will contain a new navigation command called “Go To Source Definition” that attempts to find a definition in non-ambient TypeScript or JavaScript code. (Ambient code means .d.ts files or declare contexts inside regular TS files—in other words, definitions separated from concrete implementation.) The most common reason to use this is if you want to look at the JS implementation of something you imported from node_modules, where Go To Definition only jumps to .d.ts files.

Our ability to find concrete definitions in JS when Go To Definition returns only .d.ts files varies wildly based on a lot of complicated stuff. Sometimes this feature returns results that we can be nearly 100% confident in. Sometimes it returns a guess that definitely might be wrong. Sometimes it returns nothing. If it does something that surprises you, I would like to hear about it here, even though it might be a known limitation. Make sure to include:

  • The code you triggered the request on
  • The import statement importing the thing you tried to navigate to
  • What result(s) were returned, if any (screenshot is ok for these top 3)
  • What version of the library you tried to navigate to is in your node_modules (check its package.json)
  • If you had a corresponding @types library in your node_modules, and what version it is

Known limitations

  • The main thing that makes this feature go from 100% confidence to guesses that could go wrong is JavaScript whose exports we can’t analyze, probably because they have some kind of UMD wrapper. When that happens, we try guesses. The quality/presence of guesses is impacted by:

    • How closely the directory structure of a @types package, if present, matches that of its JS counterpart
    • Whether declarations in a single JS file share the same name with others at the same level of nesting. For example, import { add } from "lodash" currently returns three results; two refer to the correct function, but one is a false positive (SetCache.prototype.add):
    • image
  • Function parameters, and properties accessed on them, are unlikely to return any results, because definition information doesn’t tell us every caller of the function—we only know where the parameter itself is declared, and what type it expects. The values passed into it could come from anywhere, even if in practice they have a single definition provided by a library:

    import yargs from "yargs";
    //     ^ works here
    yargs(process.argv.slice(2))
      .command(
    // ^ works here
        "$0 <traceDir>",
        yargs => yargs.positional("traceDir", {
    //           ^ goes to arrow function param
    //                 ^ doesn't find anything!

FAQ and Q that should be FA but aren’t

Can you please make this the default / give me an option to make this the default for Go To Definition / ⌘-click?

Not right now, but comment / 👍 an existing relevant comment if you feel strongly about this and tell me a bit about why.

Can I make a keyboard shortcut for this?

Yes. Command palette → Preferences: Open Keyboard Shortcuts (JSON)

{
  "key": "cmd+shift+F12",
  "command": "typescript.goToSourceDefinition",
  "when": "editorTextFocus"
}

What’s the difference between this and Go To Implementations?

Go To Implementations is an interesting algorithm that does a lot of different things and is a bit hard to explain holistically. The two commands are similar in that they both avoid returning ambient results. However, Go To Implementations uses Find All References under the hood to (among other things) search for values that satisfy some type. Go To Source Definition mostly uses Go To Definition under the hood, which traces variables/properties to their declarations and through imports/exports. It does not try to find the origin of every possible value that might come to inhabit that variable/property. The thing that makes Go To Source Definition different from every other command is that if Go To Definition returns only results in .d.ts files, it will try again with a different module resolver that completely ignores .d.ts files, allowing it to find JS files that are otherwise “shadowed” by .d.ts files in your actual compilation.

I’m a DefinitelyTyped maintainer. What can I do to increase the chances Go To Source Definition works on exports from my definitions?

Ensure the directory structure of your definitions is identical to that of the JS library you’re typing (at least as far as the public API goes). This means don’t move types out of index.d.ts into a helpers.d.ts just for code organization—helpers.d.ts should only exist if it types a helpers.js file. Conversely, if the JS library is broken up into many files that all get re-exported by the index/main file, declare your types in these files and re-export them too. (This is the correct way to author DT libraries anyway; Go To Source Definition compatibility is just a secondary benefit.)

I’m a library author who ships my own types. What can I do to make Go To Source Definition work on exports from my library?

Consider if it’s appropriate to ship your TypeScript sources to npm. If you do, make sure you compile with "declarationMap": true and ship your .d.ts.map files to npm too. When you do that, Go To Definition will already navigate to your .ts sources, making Go To Source Definition unnecessary (it simply executes Go To Definition when this happens).

Activity

  1. DanielRosenwasser commented on May 24, 2022

    @DanielRosenwasser
    Member

    I was surprised that this didn't work as cleanly with a module.exports = someFunc, like in left-pad.

    // index.mts
    import leftPad = require("left-pad");
    
    leftPad("", 4);
    // tsconfig.json
    {
        "compilerOptions": {
            "module": "node16",
            "strict": true,
            "outDir": "./out",
    
        }
    }
    Screenshot

    image

  2. DanielRosenwasser commented on May 25, 2022

    @DanielRosenwasser
    Member

    Found a crash in an inferred JS project when using a destructured declaration on a require.

    // index.js
    const { ncp } = require("ncp");
    // package.json
    {
      "name": "yadda",
      "version": "1.0.0",
      "description": "Yadda",
      "main": "index.js",
      "dependencies": {
        "ncp": "^2.0.0"
      }
    }
    TSServer Crash
    <semantic> Response received: findSourceDefinition (625). Request took 3 ms. Success: false . Message: Error processing request. Debug Failure. Illegal value: SyntaxKind: BindingElement
    Error: Debug Failure. Illegal value: SyntaxKind: BindingElement
        at Object.tryGetModuleSpecifierFromDeclaration (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:16587:26)
        at Object.getDefinitionAtPosition (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:139272:63)
        at Object.getDefinitionAtPosition (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:164900:38)
        at IpcIOSession.Session.findSourceDefinition (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:176077:50)
        at Session.handlers.ts.Map.ts.getEntries._a.<computed> (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:175294:61)
        at ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:177441:88
        at IpcIOSession.Session.executeWithRequestId (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:177432:28)
        at IpcIOSession.Session.executeCommand (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:177441:33)
        at IpcIOSession.Session.onMessage (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:177467:35)
        at process.<anonymous> (ms-vscode.vscode-typescript-next-4.8.20220524/node_modules/typescript/lib/tsserver.js:180102:31)
        at process.emit (node:events:390:28)
        at emit (node:internal/child_process:917:12)
        at processTicksAndRejections (node:internal/process/task_queues:84:21)
    
  3. andrewbranch commented on May 25, 2022

    @andrewbranch
    MemberAuthor

    Daniel Rosenwasser (@DanielRosenwasser) can you give me compiler options for that? Also, does go-to-def jump to your ATA cache?

  4. andrewbranch commented on May 25, 2022

    @andrewbranch
    MemberAuthor

    inferred JS project

    Oh, missed this. But still can’t reproduce 🤔 Was able to reverse engineer from the stack.

  5. scttcper commented on Jun 3, 2022

    @scttcper

    would enabling "declarationMap": true mean we need to include the original .ts files as well? I don't think many packages currently do this. But this does work with @types/ typed packages? Is there any way to enable this for packages that ship their types but not the original .ts files?

  6. andrewbranch commented on Jun 3, 2022

    @andrewbranch
    MemberAuthor

    would enabling "declarationMap": true mean we need to include the original .ts files as well?

    Yes.

    But this does work with @types/ typed packages? Is there any way to enable this for packages that ship their types but not the original .ts files?

    What is “this” in this context? declarationMap maps locations from .d.ts files to the .ts file that created them. I don’t quite understand the question/suggestion for what you could do with this in the absence of the TS sources.

    And to be clear, declaration maps have always been used for Go To Definition when available—nothing new about that in 4.7. rxjs is an example in the wild—a plain old Go To Definition on anything you import from there will go to the TS source.

  7. scttcper commented on Jun 3, 2022

    @scttcper

    I was confused because the packages I was trying with "go to source definition" weren't working. I think this is because I had "moduleResolution": "node16", in my tsconfig. Its fixed with typescript 4.7.3

  8. jasonwilliams commented on Jun 9, 2022

    @jasonwilliams

    Hey Andrew Branch (@andrewbranch) great work on this, I had a quick Q (you kind of mentioned it in your original comment).

    Shouldn't "Go To Definition" be the default for this and there should be a separate command for going to the type definition? I only ask this because it will be inconsistent with other languages being used in VSCode where "Go To Definition" would go to the original source definition of that symbol. I feel like most people using the "Go To Definition" command are expecting it to go to the source code not the type, so I was surprised to see the solution was not to change it but instead add a new command.

    This will end up making TS/JS a "special snowflake" in the VSCode UI where you need to navigate to another command to get the same result that you'd have from other languages. I could be wrong but that seems to go against VSCode's goal to have familiar UX across all languages

  9. andrewbranch commented on Jun 9, 2022

    @andrewbranch
    MemberAuthor

    I think I answered that in this Twitter thread. Let me know if that leaves you with any more questions.

  10. jasonwilliams commented on Jun 10, 2022

    @jasonwilliams

    Ok thanks Andrew Branch (@andrewbranch) I understand this is not wanting to change/break workflow for those who are already used to it.

  11. andrewbranch commented on Jun 10, 2022

    @andrewbranch
    MemberAuthor

    Well there’s also the fact that Go To Type Definition means something completely different, and Go To Definition is kind of sacred in that it shows you with 100% confidence what the compiler thinks the definition of some code is. Keep in mind that Go To Definition does take you to the original, concrete source when it can do so with 100% confidence—that is, when declaration maps and original TS sources exist. It would be great if this were always true, but the reality is that TS is a bit of a special snowflake in that our “header files” and “implementation files,” if you want to extend the analogy to other languages, are often written, by hand, by different parties at different times under different versions installed to different locations and the extent to which they match each other is determined solely by the skill of the declaration author and the ability of the user to install matching versions of each (I’m referring to getting .d.ts files from DefinitelyTyped, of course). Such uncertainty deserves to be treated differently than the distinction between a header and implementation file compiled from a single source. And also/again, types are so central to the process of writing TypeScript that even if we could always take you to the right spot in the JS with 100% certainty, I still don’t think we’d call it the “definition” (at least for TS users).

  12. jzabinski-dolios commented on Jun 13, 2022

    @jzabinski-dolios

    When using this feature for an imported Typescript library (AngularFirestore), in VSCode v1.68 and Typescript 4.5.5, I get 'No source definitions found'. I don't know why; my guess is that this feature requires Typescript 4.7.

    If my guess is right: could we have a better message please? Maybe 'Typescript 4.7 required in order to support Go To Source Definition'?

    Or probably better: disable the feature until the environment can support it?

  13. andrewbranch commented on Jun 13, 2022

    @andrewbranch
    MemberAuthor

    jzabinski-dolios VS Code does hide the menu item if it didn’t see TypeScript 4.7 in the workspace, and gives this error message if you invoke it by keyboard shortcut anyway:

    Go to Source Definition failed. Requires TypeScript 4.7+.

    Unless something really weird is happening, I would guess you’re actually using VS Code’s bundled version of TypeScript (now 4.7) in the workspace, and we really couldn’t find the source for that import due to one of the limitations described in the issue body.

  14. 24 remaining items

  15. andrewbranch commented on Feb 24, 2023

    @andrewbranch
    MemberAuthor

    If it does something that surprises you, I would like to hear about it here, even though it might be a known limitation. Make sure to include:

    • The code you triggered the request on
    • The import statement importing the thing you tried to navigate to
    • What result(s) were returned, if any (screenshot is ok for these top 3)
    • What version of the library you tried to navigate to is in your node_modules (check its package.json)
    • If you had a corresponding Types (@types) library in your node_modules, and what version it is
  16. ThaJay commented on Feb 27, 2023

    @ThaJay
  17. wvhulle commented on Feb 27, 2023

    @wvhulle

    Willem Vanhulle (@wvhulle) Have you read this topic? #49003 (comment)

    I have issues with the libraries vite and sveltekit. Would this be because of the way they are packaged?

  18. andrewbranch commented on Apr 6, 2023

    @andrewbranch
    MemberAuthor

    As of today’s VS Code Nightly, you can enable a setting that replaces Go To Definition with Go To Source Definition, allowing you to ctrl/⌘-click to trigger it. If source definitions cannot be retrieved, it falls back to Go To Definition. Since this addresses the only piece of feedback I’ve consistently received, I’m going to close this issue. Thanks everyone!

    image

  19. starball5 commented on Apr 6, 2023

    @starball5

    Another related Stack Overflow question: Go to implementation instead of TypeScript declaration (where I've edited my answer post to mention the new "Prefer Go To Source Definition" setting).

    Andrew Branch (@andrewbranch) If possible, please also get microsoft/vscode#82054 temporarily reopened to mention this new setting and then close it again.

  20. toien commented on May 25, 2023

    @toien

    hi, i am new to typescript, and recently study vue-typescript-admin-template

    i meet a issue, when disable typescript "Prefer go to source definition", cmd + click jump to Types (@types) node_modules' index.d.ts file, when i use Go to source definition, vsc hints me: No source definition found:

    image

    but when i enable Prefer go to source definition, vsc go to js source definition exactly

  21. andrewbranch commented on May 25, 2023

    @andrewbranch
    MemberAuthor

    上二下中 (@toien) would you be able to file a new issue with specific repro steps? See the “Make sure to include” list at the very top of this issue. Thanks!

  22. andrewmartin commented on May 6, 2024

    @andrewmartin

    This is random, but does anyone know how to make a keyboard shortcut for this?

    I can't get the "Prefer Go To Source Definition" to work for the Typescript JSX language mode:

    form tsx — ltd-web 2024-05-05 at 7 55 47 PM

    I am a newbie with this level of customization, but any idea how to get it to show up here?

    keybindings json — ltd-web 2024-05-05 at 7 56 05 PM

  23. Andarist commented on May 6, 2024

    @Andarist
    Contributor

    Different flavors of this get a little bit out of hand, I guess... but what I really miss (or I don't know how to achieve...) is being able to jump to the runtime source when the original source (or dts) is available.

    I'm in a JS file and I have real problems when it comes to jumping straight to a sibling JS file (./upload.js):

    const upload_1 = require("./upload"/*1*/);

    No matter what I do here, I'm being brought to upload.d.ts.

  24. fabOnReact commented on Jul 31, 2024

    @fabOnReact

    As of today’s VS Code Nightly, you can enable a setting that replaces Go To Definition with Go To Source Definition, allowing you to ctrl/⌘-click to trigger it. If source definitions cannot be retrieved, it falls back to Go To Definition. Since this addresses the only piece of feedback I’ve consistently received, I’m going to close this issue. Thanks everyone!

    image

    using the vim plugin coc-tsserver when I navigate to useRef, the file is still minified and unreadable.

    Screen.Recording.2024-07-31.at.1.41.18.PM.mov

    neoclide/coc-tsserver#449

  25. jay-herrera commented on Oct 11, 2024

    @jay-herrera

    Fabrizio Bertoglio (@fabOnReact)
    "Prefer Go To Source Definition" Does not work in JSX and TSX files, it always falls back to "Go To Definition"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    DiscussionIssues which may not have code impact

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions