Restore go-to-definition for triple-slash lib references

tsc/internal/compiler/program.go

@@ -2087,12 +2087,14 @@ func (p *Program) ExplainFiles(w io.Writer, locale locale.Locale) {
 }
 
 func (p *Program) GetLibFileFromReference(ref *ast.FileReference) *ast.SourceFile {
-	path, ok := tsoptions.GetLibFileName(ref.FileName)
+	name, ok := tsoptions.GetLibFileName(ref.FileName)
 	if !ok {
 		return nil
 	}
-	if sourceFile, ok := p.filesByPath[tspath.Path(path)]; ok {
-		return sourceFile
+	for path, libFile := range p.libFiles {
+		if libFile.Name == name {
+			return p.filesByPath[path]
+		}
 	}
 	return nil
 }

tsc/internal/fourslash/tests/goToDefinitionTypeReferenceDirective_test.go

@@ -20,3 +20,13 @@ func TestGoToDefinitionTypeReferenceDirective(t *testing.T) {
 	defer done()
 	f.VerifyBaselineGoToDefinition(t, true, "1")
 }
+
+func TestGoToDefinitionLibReferenceDirective(t *testing.T) {
+	t.Parallel()
+	defer testutil.RecoverAndFail(t, "Panic on fourslash test")
+	const content = `// @Filename: /src/app.ts
+/// <reference lib="/*start*/es/*middle*/2025/*end*/" />`
+	f, done := fourslash.NewFourslash(t, nil /*capabilities*/, content)
+	defer done()
+	f.VerifyBaselineGoToDefinition(t, true, "start", "middle", "end")
+}

tsc/internal/ls/definition.go

@@ -51,14 +51,16 @@ func (l *LanguageService) provideDefinitionAtPosition(ctx context.Context, progr
 	node := astnav.GetTouchingPropertyName(file, pos)
 	reference := getReferenceAtPosition(file, pos, program)
 
-	if node.Kind == ast.KindSourceFile {
-		return lsproto.LocationOrLocationsOrDefinitionLinksOrNull{}
-	}
-
 	originSelectionRange, _ := l.createLspRangeFromNode(node, file)
 	if reference != nil && reference.file != nil {
+		if node.Kind == ast.KindSourceFile {
+			originSelectionRange, _ = l.createLspRangeFromBounds(reference.reference.Pos(), reference.reference.End(), file)
+		}
 		return l.createDefinitionLocations(originSelectionRange, clientSupportsLink, []*ast.Node{}, reference, spanmap.FeatureDefinition)
 	}
+	if node.Kind == ast.KindSourceFile {
+		return lsproto.LocationOrLocationsOrDefinitionLinksOrNull{}
+	}
 
 	c, done := program.GetTypeCheckerForFile(ctx, file)
 	defer done()

tsc/testdata/baselines/reference/fourslash/goToDefinition/goToDefinitionLibReferenceDirective.baseline.jsonc

@@ -0,0 +1,39 @@
+// === goToDefinition ===
+// === bundled:///libs/lib.es2025.d.ts ===
+// [||]/*! *****************************************************************************
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+// this file except in compliance with the License. You may obtain a copy of the
+// --- (line: --) skipped ---
+// 
+
+// === /src/app.ts ===
+// /// <reference lib="/*GOTO DEF*/[|es2025|]" />
+
+
+
+// === goToDefinition ===
+// === bundled:///libs/lib.es2025.d.ts ===
+// [||]/*! *****************************************************************************
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+// this file except in compliance with the License. You may obtain a copy of the
+// --- (line: --) skipped ---
+// 
+
+// === /src/app.ts ===
+// /// <reference lib="[|es/*GOTO DEF*/2025|]" />
+
+
+
+// === goToDefinition ===
+// === bundled:///libs/lib.es2025.d.ts ===
+// [||]/*! *****************************************************************************
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+// this file except in compliance with the License. You may obtain a copy of the
+// --- (line: --) skipped ---
+// 
+
+// === /src/app.ts ===
+// /// <reference lib="[|es2025|]/*GOTO DEF*/" />

tsc/testdata/baselines/reference/fourslash/goToDefinition/goToDefinitionSourceUnit.baseline.jsonc

@@ -11,11 +11,14 @@
 
 
 // === goToDefinition ===
+// === /b.ts ===
+// [||]
+
 // === /a.ts ===
 // //MyFile Comments
 // //more comments
 // /// <reference path="somePath.ts" />
-// /// <reference path="b/*GOTO DEF*/.ts" />
+// /// <reference path="[|b/*GOTO DEF*/.ts|]" />
 // 
 // class clsInOverload {
 //     static fnOverload();

tsc/testdata/baselines/reference/fourslash/goToDefinition/goToDefinitionTypeReferenceDirective.baseline.jsonc

@@ -1,4 +1,7 @@
 // === goToDefinition ===
+// === /src/types/lib/index.d.ts ===
+// [||]declare let $: {x: number};
+
 // === /src/app.ts ===
-// /// <reference types="lib/*GOTO DEF*/"/>
+// /// <reference types="[|lib|]/*GOTO DEF*/"/>
 // $.x;