Resolve typeReferenceDirective as fileOrDirectory instead of just dir…

…ectory when its not default typeRoots

Fixes #37708
Bug 2 part of the issue

src/compiler/moduleNameResolver.ts

@@ -549,10 +549,18 @@ export function resolveTypeReferenceDirective(typeReferenceDirectiveName: string
             }
             return firstDefined(typeRoots, typeRoot => {
                 const candidate = combinePaths(typeRoot, typeReferenceDirectiveName);
-                const candidateDirectory = getDirectoryPath(candidate);
-                const directoryExists = directoryProbablyExists(candidateDirectory, host);
+                const directoryExists = directoryProbablyExists(typeRoot, host);
                 if (!directoryExists && traceEnabled) {
-                    trace(host, Diagnostics.Directory_0_does_not_exist_skipping_all_lookups_in_it, candidateDirectory);
+                    trace(host, Diagnostics.Directory_0_does_not_exist_skipping_all_lookups_in_it, typeRoot);
+                }
+                if (options.typeRoots) {
+                    // Custom typeRoots resolve as file or directory just like we do modules
+                    const resolvedFromFile = loadModuleFromFile(Extensions.Declaration, candidate, !directoryExists, moduleResolutionState);
+                    if (resolvedFromFile) {
+                        const packageDirectory = parseNodeModuleFromPath(resolvedFromFile.path);
+                        const packageInfo = packageDirectory ? getPackageJsonInfo(packageDirectory, /*onlyRecordFailures*/ false, moduleResolutionState) : undefined;
+                        return resolvedTypeScriptOnly(withPackageId(packageInfo, resolvedFromFile));
+                    }
                 }
                 return resolvedTypeScriptOnly(
                     loadNodeModuleFromDirectory(Extensions.Declaration, candidate,

tests/baselines/reference/library-reference-1.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'jquery', containing file '/src/consumer.ts', root directory 'types'. ========",
     "Resolving with primary search path 'types'.",
+    "File 'types/jquery.d.ts' does not exist.",
     "File 'types/jquery/package.json' does not exist.",
     "File 'types/jquery/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for 'types/jquery/index.d.ts', result '/src/types/jquery/index.d.ts'.",

tests/baselines/reference/library-reference-10.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'jquery', containing file '/foo/consumer.ts', root directory './types'. ========",
     "Resolving with primary search path './types'.",
+    "File './types/jquery.d.ts' does not exist.",
     "Found 'package.json' at './types/jquery/package.json'.",
     "'package.json' does not have a 'typesVersions' field.",
     "'package.json' has 'typings' field 'jquery.d.ts' that references 'types/jquery/jquery.d.ts'.",

tests/baselines/reference/library-reference-13.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'jquery', containing file '/a/__inferred type names__.ts', root directory '/a/types'. ========",
     "Resolving with primary search path '/a/types'.",
+    "File '/a/types/jquery.d.ts' does not exist.",
     "File '/a/types/jquery/package.json' does not exist.",
     "File '/a/types/jquery/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/a/types/jquery/index.d.ts', result '/a/types/jquery/index.d.ts'.",

tests/baselines/reference/library-reference-14.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'jquery', containing file '/a/__inferred type names__.ts', root directory '/a/types'. ========",
     "Resolving with primary search path '/a/types'.",
+    "File '/a/types/jquery.d.ts' does not exist.",
     "File '/a/types/jquery/package.json' does not exist.",
     "File '/a/types/jquery/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/a/types/jquery/index.d.ts', result '/a/types/jquery/index.d.ts'.",

tests/baselines/reference/library-reference-15.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'jquery', containing file '/a/__inferred type names__.ts', root directory 'types'. ========",
     "Resolving with primary search path 'types'.",
+    "File 'types/jquery.d.ts' does not exist.",
     "File 'types/jquery/package.json' does not exist.",
     "File 'types/jquery/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for 'types/jquery/index.d.ts', result '/a/types/jquery/index.d.ts'.",

tests/baselines/reference/library-reference-2.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'jquery', containing file '/consumer.ts', root directory '/types'. ========",
     "Resolving with primary search path '/types'.",
+    "File '/types/jquery.d.ts' does not exist.",
     "Found 'package.json' at '/types/jquery/package.json'.",
     "'package.json' does not have a 'typesVersions' field.",
     "'package.json' does not have a 'typings' field.",
@@ -10,6 +11,7 @@
     "======== Type reference directive 'jquery' was successfully resolved to '/types/jquery/jquery.d.ts', primary: true. ========",
     "======== Resolving type reference directive 'jquery', containing file '/test/__inferred type names__.ts', root directory '/types'. ========",
     "Resolving with primary search path '/types'.",
+    "File '/types/jquery.d.ts' does not exist.",
     "File '/types/jquery/package.json' exists according to earlier cached lookups.",
     "'package.json' does not have a 'typings' field.",
     "'package.json' has 'types' field 'jquery.d.ts' that references '/types/jquery/jquery.d.ts'.",

tests/baselines/reference/library-reference-4.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'foo', containing file '/src/root.ts', root directory '/src'. ========",
     "Resolving with primary search path '/src'.",
+    "File '/src/foo.d.ts' does not exist.",
     "Looking up in 'node_modules' folder, initial location '/src'.",
     "Directory '/src/node_modules' does not exist, skipping all lookups in it.",
     "File '/node_modules/foo/package.json' does not exist.",
@@ -10,6 +11,7 @@
     "======== Type reference directive 'foo' was successfully resolved to '/node_modules/foo/index.d.ts', primary: false. ========",
     "======== Resolving type reference directive 'bar', containing file '/src/root.ts', root directory '/src'. ========",
     "Resolving with primary search path '/src'.",
+    "File '/src/bar.d.ts' does not exist.",
     "Looking up in 'node_modules' folder, initial location '/src'.",
     "Directory '/src/node_modules' does not exist, skipping all lookups in it.",
     "File '/node_modules/bar/package.json' does not exist.",
@@ -19,6 +21,7 @@
     "======== Type reference directive 'bar' was successfully resolved to '/node_modules/bar/index.d.ts', primary: false. ========",
     "======== Resolving type reference directive 'alpha', containing file '/node_modules/foo/index.d.ts', root directory '/src'. ========",
     "Resolving with primary search path '/src'.",
+    "File '/src/alpha.d.ts' does not exist.",
     "Looking up in 'node_modules' folder, initial location '/node_modules/foo'.",
     "File '/node_modules/foo/node_modules/alpha/package.json' does not exist.",
     "File '/node_modules/foo/node_modules/alpha.d.ts' does not exist.",
@@ -27,6 +30,7 @@
     "======== Type reference directive 'alpha' was successfully resolved to '/node_modules/foo/node_modules/alpha/index.d.ts', primary: false. ========",
     "======== Resolving type reference directive 'alpha', containing file '/node_modules/bar/index.d.ts', root directory '/src'. ========",
     "Resolving with primary search path '/src'.",
+    "File '/src/alpha.d.ts' does not exist.",
     "Looking up in 'node_modules' folder, initial location '/node_modules/bar'.",
     "File '/node_modules/bar/node_modules/alpha/package.json' does not exist.",
     "File '/node_modules/bar/node_modules/alpha.d.ts' does not exist.",

tests/baselines/reference/library-reference-8.trace.json

@@ -1,24 +1,28 @@
 [
     "======== Resolving type reference directive 'alpha', containing file '/test/foo.ts', root directory '/test/types'. ========",
     "Resolving with primary search path '/test/types'.",
+    "File '/test/types/alpha.d.ts' does not exist.",
     "File '/test/types/alpha/package.json' does not exist.",
     "File '/test/types/alpha/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/test/types/alpha/index.d.ts', result '/test/types/alpha/index.d.ts'.",
     "======== Type reference directive 'alpha' was successfully resolved to '/test/types/alpha/index.d.ts', primary: true. ========",
     "======== Resolving type reference directive 'beta', containing file '/test/foo.ts', root directory '/test/types'. ========",
     "Resolving with primary search path '/test/types'.",
+    "File '/test/types/beta.d.ts' does not exist.",
     "File '/test/types/beta/package.json' does not exist.",
     "File '/test/types/beta/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/test/types/beta/index.d.ts', result '/test/types/beta/index.d.ts'.",
     "======== Type reference directive 'beta' was successfully resolved to '/test/types/beta/index.d.ts', primary: true. ========",
     "======== Resolving type reference directive 'beta', containing file '/test/types/alpha/index.d.ts', root directory '/test/types'. ========",
     "Resolving with primary search path '/test/types'.",
+    "File '/test/types/beta.d.ts' does not exist.",
     "File '/test/types/beta/package.json' does not exist according to earlier cached lookups.",
     "File '/test/types/beta/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/test/types/beta/index.d.ts', result '/test/types/beta/index.d.ts'.",
     "======== Type reference directive 'beta' was successfully resolved to '/test/types/beta/index.d.ts', primary: true. ========",
     "======== Resolving type reference directive 'alpha', containing file '/test/types/beta/index.d.ts', root directory '/test/types'. ========",
     "Resolving with primary search path '/test/types'.",
+    "File '/test/types/alpha.d.ts' does not exist.",
     "File '/test/types/alpha/package.json' does not exist according to earlier cached lookups.",
     "File '/test/types/alpha/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/test/types/alpha/index.d.ts', result '/test/types/alpha/index.d.ts'.",

tests/baselines/reference/library-reference-scoped-packages.trace.json

@@ -1,7 +1,7 @@
 [
     "======== Resolving type reference directive '@beep/boop', containing file '/a.ts', root directory 'types'. ========",
     "Resolving with primary search path 'types'.",
-    "Directory 'types/@beep' does not exist, skipping all lookups in it.",
+    "Directory 'types' does not exist, skipping all lookups in it.",
     "Looking up in 'node_modules' folder, initial location '/'.",
     "Scoped package detected, looking in 'beep__boop'",
     "File '/node_modules/@types/beep__boop/package.json' does not exist.",

tests/baselines/reference/moduleResolution/type-reference-from-primary-location.js

@@ -12,6 +12,7 @@ Resolution:: {
     "isExternalLibraryImport": false
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json"
   ],
   "affectingLocations": [],
@@ -34,7 +35,9 @@ Resolution:: {
     "resolvedFileName": "/root/src/types/lib/typings/lib.d.ts",
     "isExternalLibraryImport": false
   },
-  "failedLookupLocations": [],
+  "failedLookupLocations": [
+    "/root/src/types/lib.d.ts"
+  ],
   "affectingLocations": [
     "/root/src/types/lib/package.json"
   ],
@@ -55,6 +58,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib/package.json",
@@ -81,6 +85,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib.d.ts"
@@ -105,6 +110,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib/package.json",
@@ -134,6 +140,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib/package.json",

tests/baselines/reference/moduleResolution/type-reference-from-secondary-location.js

@@ -12,6 +12,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib/package.json",
@@ -40,6 +41,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib/package.json",
@@ -72,6 +74,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib/package.json",
@@ -102,6 +105,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib/package.json",
@@ -137,6 +141,7 @@ Resolution:: {
     "isExternalLibraryImport": true
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json",
     "/root/src/types/lib/index.d.ts",
     "/root/src/node_modules/lib/package.json",

tests/baselines/reference/moduleResolution/type-reference-overrides-secondary-location.js

@@ -15,6 +15,7 @@ Resolution:: {
     "isExternalLibraryImport": false
   },
   "failedLookupLocations": [
+    "/root/src/types/lib.d.ts",
     "/root/src/types/lib/package.json"
   ],
   "affectingLocations": [],

tests/baselines/reference/tsbuild/moduleResolution/type-reference-resolution-uses-correct-options-for-different-resolution-options-referenced-project.js

@@ -46,6 +46,7 @@ Output::
 
 ======== Resolving type reference directive 'sometype', containing file '/src/packages/__inferred type names__.ts', root directory '/src/packages/typeroot1'. ========
 Resolving with primary search path '/src/packages/typeroot1'.
+File '/src/packages/typeroot1/sometype.d.ts' does not exist.
 File '/src/packages/typeroot1/sometype/package.json' does not exist.
 File '/src/packages/typeroot1/sometype/index.d.ts' exist - use it as a name resolution result.
 Resolving real path for '/src/packages/typeroot1/sometype/index.d.ts', result '/src/packages/typeroot1/sometype/index.d.ts'.
@@ -56,6 +57,7 @@ Resolving real path for '/src/packages/typeroot1/sometype/index.d.ts', result '/
 
 ======== Resolving type reference directive 'sometype', containing file '/src/packages/__inferred type names__.ts', root directory '/src/packages/typeroot2'. ========
 Resolving with primary search path '/src/packages/typeroot2'.
+File '/src/packages/typeroot2/sometype.d.ts' does not exist.
 File '/src/packages/typeroot2/sometype/package.json' does not exist.
 File '/src/packages/typeroot2/sometype/index.d.ts' exist - use it as a name resolution result.
 Resolving real path for '/src/packages/typeroot2/sometype/index.d.ts', result '/src/packages/typeroot2/sometype/index.d.ts'.

tests/baselines/reference/typeReferenceDirectiveWithTypeAsFile.symbols

@@ -1,4 +1,8 @@
 === /a.ts ===
-
 a;
+>a : Symbol(a, Decl(phaser.d.ts, 0, 13))
+
+=== /node_modules/phaser/types/phaser.d.ts ===
+declare const a: number;
+>a : Symbol(a, Decl(phaser.d.ts, 0, 13))
 

tests/baselines/reference/typeReferenceDirectiveWithTypeAsFile.trace.json

@@ -1,10 +1,8 @@
 [
     "======== Resolving type reference directive 'phaser', containing file '/__inferred type names__.ts', root directory '/node_modules/phaser/types'. ========",
     "Resolving with primary search path '/node_modules/phaser/types'.",
-    "Looking up in 'node_modules' folder, initial location '/'.",
+    "File '/node_modules/phaser/types/phaser.d.ts' exist - use it as a name resolution result.",
     "File '/node_modules/phaser/package.json' does not exist.",
-    "File '/node_modules/phaser.d.ts' does not exist.",
-    "File '/node_modules/phaser/index.d.ts' does not exist.",
-    "Directory '/node_modules/@types' does not exist, skipping all lookups in it.",
-    "======== Type reference directive 'phaser' was not resolved. ========"
+    "Resolving real path for '/node_modules/phaser/types/phaser.d.ts', result '/node_modules/phaser/types/phaser.d.ts'.",
+    "======== Type reference directive 'phaser' was successfully resolved to '/node_modules/phaser/types/phaser.d.ts', primary: true. ========"
 ]

tests/baselines/reference/typeReferenceDirectiveWithTypeAsFile.types

@@ -1,4 +1,8 @@
 === /a.ts ===
 a;
->a : any
+>a : number
+
+=== /node_modules/phaser/types/phaser.d.ts ===
+declare const a: number;
+>a : number
 

tests/baselines/reference/typeReferenceDirectives1.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'lib', containing file '/app.ts', root directory '/types'. ========",
     "Resolving with primary search path '/types'.",
+    "File '/types/lib.d.ts' does not exist.",
     "File '/types/lib/package.json' does not exist.",
     "File '/types/lib/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/types/lib/index.d.ts', result '/types/lib/index.d.ts'.",

tests/baselines/reference/typeReferenceDirectives10.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'lib', containing file '/app.ts', root directory '/types'. ========",
     "Resolving with primary search path '/types'.",
+    "File '/types/lib.d.ts' does not exist.",
     "File '/types/lib/package.json' does not exist.",
     "File '/types/lib/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/types/lib/index.d.ts', result '/types/lib/index.d.ts'.",

tests/baselines/reference/typeReferenceDirectives11.trace.json

@@ -6,6 +6,7 @@
     "======== Module name './mod1' was successfully resolved to '/mod1.ts'. ========",
     "======== Resolving type reference directive 'lib', containing file '/__inferred type names__.ts', root directory '/types'. ========",
     "Resolving with primary search path '/types'.",
+    "File '/types/lib.d.ts' does not exist.",
     "File '/types/lib/package.json' does not exist.",
     "File '/types/lib/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/types/lib/index.d.ts', result '/types/lib/index.d.ts'.",

tests/baselines/reference/typeReferenceDirectives12.trace.json

@@ -11,6 +11,7 @@
     "======== Module name './mod1' was successfully resolved to '/mod1.ts'. ========",
     "======== Resolving type reference directive 'lib', containing file '/mod1.ts', root directory '/types'. ========",
     "Resolving with primary search path '/types'.",
+    "File '/types/lib.d.ts' does not exist.",
     "File '/types/lib/package.json' does not exist.",
     "File '/types/lib/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/types/lib/index.d.ts', result '/types/lib/index.d.ts'.",

tests/baselines/reference/typeReferenceDirectives13.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'lib', containing file '/app.ts', root directory '/types'. ========",
     "Resolving with primary search path '/types'.",
+    "File '/types/lib.d.ts' does not exist.",
     "File '/types/lib/package.json' does not exist.",
     "File '/types/lib/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/types/lib/index.d.ts', result '/types/lib/index.d.ts'.",

tests/baselines/reference/typeReferenceDirectives2.trace.json

@@ -1,6 +1,7 @@
 [
     "======== Resolving type reference directive 'lib', containing file '/__inferred type names__.ts', root directory '/types'. ========",
     "Resolving with primary search path '/types'.",
+    "File '/types/lib.d.ts' does not exist.",
     "File '/types/lib/package.json' does not exist.",
     "File '/types/lib/index.d.ts' exist - use it as a name resolution result.",
     "Resolving real path for '/types/lib/index.d.ts', result '/types/lib/index.d.ts'.",