Support LocationLink in go-to-definition with default enablement #1490

Copilot · 2025-07-31T07:35:35Z

This PR implements support for LocationLink in go-to-definition requests as specified in LSP 3.14.0+, with LocationLinks enabled by default to provide enhanced navigation experience out of the box.

Key Features

Enhanced Definition Response:
The LocationLink type provides richer information compared to basic Location:

originSelectionRange: The span of the queried symbol (bound span for highlighting during interaction)
targetRange: Full declaration range including body and comments
targetSelectionRange: Precise name/identifier location for navigation

Default Enablement:
LocationLink support is now enabled by default when clients don't specify definition capabilities, ensuring users get the enhanced experience without requiring explicit client configuration. Clients can still opt out by explicitly setting linkSupport: false.

Example Enhancement:

// Before: Basic Location response
{
  "uri": "file:///types.ts",
  "range": { "start": { "line": 0, "character": 17 }, "end": { "line": 0, "character": 23 } }
}

// After: Rich LocationLink response  
{
  "originSelectionRange": { "start": { "line": 2, "character": 14 }, "end": { "line": 2, "character": 20 } },
  "targetUri": "file:///types.ts",
  "targetRange": { "start": { "line": 0, "character": 0 }, "end": { "line": 3, "character": 1 } },
  "targetSelectionRange": { "start": { "line": 0, "character": 17 }, "end": { "line": 0, "character": 23 } }
}

This enables editors to provide enhanced UX like highlighting the origin span during mouse interaction and showing the full context of target declarations.

Fixes #1439.

💬 Share your feedback on Copilot coding agent for the chance to win a $200 gift card! Click here to start the survey.

- Add client capability checking for DefinitionClientCapabilities.LinkSupport - Modify ProvideDefinition to accept client capabilities parameter - Create createDefinitionResponse function to decide between LocationLink[] and Location[] - Implement createLocationLinksFromDeclarations with proper origin selection range - Update fourslash test infrastructure to handle DefinitionLinks gracefully - Add helper function getDefinitionClientCapabilities in server - Ensure backward compatibility with existing Location[] responses Co-authored-by: DanielRosenwasser <972891+DanielRosenwasser@users.noreply.github.com>

- Created TestLocationLinkEndToEnd to validate full functionality - Test uses client capabilities with LinkSupport enabled - Verifies that cross-file go-to-definition works with LocationLink format - Demonstrates proper integration between server, client capabilities, and definition provider Co-authored-by: DanielRosenwasser <972891+DanielRosenwasser@users.noreply.github.com>

DanielRosenwasser · 2025-07-31T19:03:29Z

internal/fourslash/tests/gen/locationlink_endtoend_test.go

Get rid of this test, we have coverage elsewhere.

Removed the test as requested. Commit 694ad3b.

DanielRosenwasser · 2025-07-31T19:03:47Z

testdata/tests/cases/compiler/gotoDefinitionLocationLink.ts

Get rid of this test, it's not a language service test.

Removed the compiler test as requested. Commit 694ad3b.

DanielRosenwasser · 2025-07-31T19:10:00Z

internal/fourslash/fourslash.go

@@ -891,7 +891,14 @@ func (f *FourslashTest) VerifyBaselineGoToDefinition(
 		} else if result.Location != nil {
 			resultAsLocations = []lsproto.Location{*result.Location}
 		} else if result.DefinitionLinks != nil {
-			t.Fatalf("Unexpected definition response type at marker '%s': %T", *f.lastKnownMarkerName, result.DefinitionLinks)
+			// Convert DefinitionLinks to Locations for baseline comparison
+			resultAsLocations = make([]lsproto.Location, len(*result.DefinitionLinks))


The right thing is not to normalize to Locations. Instead, what the original code did was roughly checking if there was a single result, and if so, set the appropriate additionalSpan for getBaselineContentForFile.

Fixed the normalization logic to use additionalSpan for single DefinitionLink results instead of converting to Locations. Now properly sets the origin selection range as additionalSpan for baseline comparison. Commit 694ad3b.

Okay, but switch this to use core.Map

Switched to use core.Map instead of manual loop. Commit 0abc02d.

DanielRosenwasser · 2025-08-04T18:03:21Z

@copilot address feedback.

…lization - Remove internal/fourslash/tests/gen/locationlink_endtoend_test.go (coverage exists elsewhere) - Remove testdata/tests/cases/compiler/gotoDefinitionLocationLink.ts (not a language service test) - Fix fourslash.go to properly handle DefinitionLinks by setting additionalSpan instead of normalizing to Locations - When single DefinitionLink with origin selection range, use it as additionalSpan for baseline comparison Co-authored-by: DanielRosenwasser <972891+DanielRosenwasser@users.noreply.github.com>

Copilot · 2025-08-04T18:19:51Z

@copilot address feedback.

All feedback addressed in commit 694ad3b.

DanielRosenwasser

Good foundation, but you need to enable the default capabilities for definition requests and update the baselines.

internal/fourslash/fourslash.go

DanielRosenwasser · 2025-08-04T19:51:27Z

internal/fourslash/fourslash.go

@@ -891,7 +891,14 @@ func (f *FourslashTest) VerifyBaselineGoToDefinition(
 		} else if result.Location != nil {
 			resultAsLocations = []lsproto.Location{*result.Location}
 		} else if result.DefinitionLinks != nil {
-			t.Fatalf("Unexpected definition response type at marker '%s': %T", *f.lastKnownMarkerName, result.DefinitionLinks)
+			// Convert DefinitionLinks to Locations for baseline comparison
+			resultAsLocations = make([]lsproto.Location, len(*result.DefinitionLinks))


Okay, but switch this to use core.Map

DanielRosenwasser · 2025-08-04T19:53:07Z

@copilot address feedback

Co-authored-by: DanielRosenwasser <972891+DanielRosenwasser@users.noreply.github.com>

Copilot · 2025-08-04T20:09:49Z

@copilot address feedback

All feedback addressed in commit 0abc02d.

Copilot · 2025-08-04T20:09:52Z

Good foundation, but you need to enable the default capabilities for definition requests and update the baselines.

Default LinkSupport capabilities enabled and baselines updated. Commit 0abc02d.

Initial plan

3775124

Copilot AI assigned Copilot and DanielRosenwasser Jul 31, 2025

Copilot started work on behalf of DanielRosenwasser July 31, 2025 07:35 View session

Copilot AI and others added 2 commits July 31, 2025 08:06

Copilot AI changed the title ~~[WIP] Support LocationLink in go-to-definition~~ Support LocationLink in go-to-definition Jul 31, 2025

Copilot AI requested a review from DanielRosenwasser July 31, 2025 08:12

Copilot finished work on behalf of DanielRosenwasser July 31, 2025 08:12

DanielRosenwasser requested changes Jul 31, 2025

View reviewed changes

Copilot started work on behalf of DanielRosenwasser August 4, 2025 18:03 View session

Copilot AI requested a review from DanielRosenwasser August 4, 2025 18:22

Copilot finished work on behalf of DanielRosenwasser August 4, 2025 18:22

DanielRosenwasser requested changes Aug 4, 2025

View reviewed changes

Copilot started work on behalf of DanielRosenwasser August 4, 2025 19:53 View session

Address PR feedback: Enable default LinkSupport and use core.Map

0abc02d

Co-authored-by: DanielRosenwasser <972891+DanielRosenwasser@users.noreply.github.com>

Copilot AI changed the title ~~Support LocationLink in go-to-definition~~ Support LocationLink in go-to-definition with default enablement Aug 4, 2025

Copilot AI requested a review from DanielRosenwasser August 4, 2025 20:11

Copilot finished work on behalf of DanielRosenwasser August 4, 2025 20:11

Apply suggestion from @DanielRosenwasser

df65882

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Support LocationLink in go-to-definition with default enablement #1490

Support LocationLink in go-to-definition with default enablement #1490

Copilot AI commented Jul 31, 2025 •

edited

Loading

Uh oh!

DanielRosenwasser Jul 31, 2025

Uh oh!

Copilot AI Aug 4, 2025

Uh oh!

DanielRosenwasser Jul 31, 2025

Uh oh!

Copilot AI Aug 4, 2025

Uh oh!

DanielRosenwasser Jul 31, 2025

Uh oh!

Copilot AI Aug 4, 2025

Uh oh!

DanielRosenwasser Aug 4, 2025

Uh oh!

Copilot AI Aug 4, 2025

Uh oh!

DanielRosenwasser commented Aug 4, 2025

Uh oh!

Copilot AI commented Aug 4, 2025

Uh oh!

DanielRosenwasser left a comment •

edited

Loading

Uh oh!

Uh oh!

DanielRosenwasser Aug 4, 2025

Uh oh!

DanielRosenwasser commented Aug 4, 2025

Uh oh!

Copilot AI commented Aug 4, 2025

Uh oh!

Copilot AI commented Aug 4, 2025

Uh oh!

Uh oh!

Support LocationLink in go-to-definition with default enablement #1490

Are you sure you want to change the base?

Support LocationLink in go-to-definition with default enablement #1490

Conversation

Copilot AI commented Jul 31, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Key Features

Uh oh!

DanielRosenwasser Jul 31, 2025

Choose a reason for hiding this comment

Uh oh!

Copilot AI Aug 4, 2025

Choose a reason for hiding this comment

Uh oh!

DanielRosenwasser Jul 31, 2025

Choose a reason for hiding this comment

Uh oh!

Copilot AI Aug 4, 2025

Choose a reason for hiding this comment

Uh oh!

DanielRosenwasser Jul 31, 2025

Choose a reason for hiding this comment

Uh oh!

Copilot AI Aug 4, 2025

Choose a reason for hiding this comment

Uh oh!

DanielRosenwasser Aug 4, 2025

Choose a reason for hiding this comment

Uh oh!

Copilot AI Aug 4, 2025

Choose a reason for hiding this comment

Uh oh!

DanielRosenwasser commented Aug 4, 2025

Uh oh!

Copilot AI commented Aug 4, 2025

Uh oh!

DanielRosenwasser left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

DanielRosenwasser Aug 4, 2025

Choose a reason for hiding this comment

Uh oh!

DanielRosenwasser commented Aug 4, 2025

Uh oh!

Copilot AI commented Aug 4, 2025

Uh oh!

Copilot AI commented Aug 4, 2025

Uh oh!

Uh oh!

Copilot AI commented Jul 31, 2025 •

edited

Loading

DanielRosenwasser left a comment •

edited

Loading