Add path back-reference tests

Author: rbuckton

src/compiler/checker.ts

@@ -22233,7 +22233,7 @@ namespace ts {
                 for (const decl of indexSymbol.declarations) {
                     const declaration = <SignatureDeclaration>decl;
                     if (declaration.parameters.length === 1 && declaration.parameters[0].type) {
-                        switch (declaration.parameters[0].type.kind) {
+                        switch (declaration.parameters[0].type!.kind) {
                             case SyntaxKind.StringKeyword:
                                 if (!seenStringIndexer) {
                                     seenStringIndexer = true;

tests/baselines/reference/typesVersions.ambientModules.js

@@ -6,7 +6,7 @@
     "version": "1.0.0",
     "types": "index",
     "typesVersions": {
-        "3.0": { "*" : ["ts3.0/*"] }
+        "3.1": { "*" : ["ts3.1/*"] }
     }
 }
 
@@ -20,18 +20,18 @@ declare module "ext/other" {
 
 //// [index.d.ts]
 declare module "ext" {
-    export const a = "ts3.0 a";
+    export const a = "ts3.1 a";
 }
 declare module "ext/other" {
-    export const b = "ts3.0 b";
+    export const b = "ts3.1 b";
 }
 
 //// [main.ts]
 import { a } from "ext";
 import { b } from "ext/other";
 
-const aa: "ts3.0 a" = a;
-const bb: "ts3.0 b" = b;
+const aa: "ts3.1 a" = a;
+const bb: "ts3.1 b" = b;
 
 
 //// [main.js]

tests/baselines/reference/typesVersions.ambientModules.symbols

@@ -5,25 +5,25 @@ import { a } from "ext";
 import { b } from "ext/other";
 >b : Symbol(b, Decl(main.ts, 1, 8))
 
-const aa: "ts3.0 a" = a;
+const aa: "ts3.1 a" = a;
 >aa : Symbol(aa, Decl(main.ts, 3, 5))
 >a : Symbol(a, Decl(main.ts, 0, 8))
 
-const bb: "ts3.0 b" = b;
+const bb: "ts3.1 b" = b;
 >bb : Symbol(bb, Decl(main.ts, 4, 5))
 >b : Symbol(b, Decl(main.ts, 1, 8))
 
-=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts ===
+=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts ===
 declare module "ext" {
 >"ext" : Symbol("ext", Decl(index.d.ts, 0, 0))
 
-    export const a = "ts3.0 a";
+    export const a = "ts3.1 a";
 >a : Symbol(a, Decl(index.d.ts, 1, 16))
 }
 declare module "ext/other" {
 >"ext/other" : Symbol("ext/other", Decl(index.d.ts, 2, 1))
 
-    export const b = "ts3.0 b";
+    export const b = "ts3.1 b";
 >b : Symbol(b, Decl(index.d.ts, 4, 16))
 }
 

tests/baselines/reference/typesVersions.ambientModules.trace.json

@@ -11,27 +11,27 @@
     "File 'tests/cases/conformance/moduleResolution/node_modules/ext.d.ts' does not exist.",
     "'package.json' does not have a 'typings' field.",
     "'package.json' has 'types' field 'index' that references 'tests/cases/conformance/moduleResolution/node_modules/ext/index'.",
-    "'package.json' has a 'typesVersions' entry '3.0' that matches compiler version '3.1', looking for a pattern to match module name 'index'.",
+    "'package.json' has a 'typesVersions' entry '3.1' that matches compiler version '3.1', looking for a pattern to match module name 'index'.",
     "Module name 'index', matched pattern '*'.",
-    "Trying substitution 'ts3.0/*', candidate module location: 'ts3.0/index'.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index' does not exist.",
-    "Loading module as file / folder, candidate module location 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index', target file type 'TypeScript'.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.ts' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.tsx' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts' exist - use it as a name resolution result.",
-    "Resolving real path for 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts', result 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts'.",
-    "======== Module name 'ext' was successfully resolved to 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts'. ========",
+    "Trying substitution 'ts3.1/*', candidate module location: 'ts3.1/index'.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index' does not exist.",
+    "Loading module as file / folder, candidate module location 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index', target file type 'TypeScript'.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.ts' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.tsx' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts' exist - use it as a name resolution result.",
+    "Resolving real path for 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts', result 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts'.",
+    "======== Module name 'ext' was successfully resolved to 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts'. ========",
     "======== Resolving module 'ext/other' from 'tests/cases/conformance/moduleResolution/main.ts'. ========",
     "Module resolution kind is not specified, using 'NodeJs'.",
     "Loading module 'ext/other' from 'node_modules' folder, target file type 'TypeScript'.",
     "'package.json' has a 'typesVersions' field with version-specific path mappings.",
     "Found 'package.json' at 'tests/cases/conformance/moduleResolution/node_modules/ext/package.json'. Package ID is 'ext/other/[email protected]'.",
-    "'package.json' has a 'typesVersions' entry '3.0' that matches compiler version '3.1', looking for a pattern to match module name 'other'.",
+    "'package.json' has a 'typesVersions' entry '3.1' that matches compiler version '3.1', looking for a pattern to match module name 'other'.",
     "Module name 'other', matched pattern '*'.",
-    "Trying substitution 'ts3.0/*', candidate module location: 'ts3.0/other'.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.ts' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.tsx' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.d.ts' does not exist.",
+    "Trying substitution 'ts3.1/*', candidate module location: 'ts3.1/other'.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.ts' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.tsx' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.d.ts' does not exist.",
     "Directory 'tests/cases/conformance/moduleResolution/node_modules/@types' does not exist, skipping all lookups in it.",
     "Directory 'tests/cases/conformance/node_modules' does not exist, skipping all lookups in it.",
     "Directory 'tests/cases/node_modules' does not exist, skipping all lookups in it.",
@@ -41,11 +41,11 @@
     "Loading module 'ext/other' from 'node_modules' folder, target file type 'JavaScript'.",
     "'package.json' has a 'typesVersions' field with version-specific path mappings.",
     "Found 'package.json' at 'tests/cases/conformance/moduleResolution/node_modules/ext/package.json'. Package ID is 'ext/other/[email protected]'.",
-    "'package.json' has a 'typesVersions' entry '3.0' that matches compiler version '3.1', looking for a pattern to match module name 'other'.",
+    "'package.json' has a 'typesVersions' entry '3.1' that matches compiler version '3.1', looking for a pattern to match module name 'other'.",
     "Module name 'other', matched pattern '*'.",
-    "Trying substitution 'ts3.0/*', candidate module location: 'ts3.0/other'.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.js' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.jsx' does not exist.",
+    "Trying substitution 'ts3.1/*', candidate module location: 'ts3.1/other'.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.js' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.jsx' does not exist.",
     "Directory 'tests/cases/conformance/node_modules' does not exist, skipping all lookups in it.",
     "Directory 'tests/cases/node_modules' does not exist, skipping all lookups in it.",
     "Directory 'tests/node_modules' does not exist, skipping all lookups in it.",

tests/baselines/reference/typesVersions.ambientModules.types

@@ -1,31 +1,31 @@
 === tests/cases/conformance/moduleResolution/main.ts ===
 import { a } from "ext";
->a : "ts3.0 a"
+>a : "ts3.1 a"
 
 import { b } from "ext/other";
->b : "ts3.0 b"
+>b : "ts3.1 b"
 
-const aa: "ts3.0 a" = a;
->aa : "ts3.0 a"
->a : "ts3.0 a"
+const aa: "ts3.1 a" = a;
+>aa : "ts3.1 a"
+>a : "ts3.1 a"
 
-const bb: "ts3.0 b" = b;
->bb : "ts3.0 b"
->b : "ts3.0 b"
+const bb: "ts3.1 b" = b;
+>bb : "ts3.1 b"
+>b : "ts3.1 b"
 
-=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts ===
+=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts ===
 declare module "ext" {
 >"ext" : typeof import("ext")
 
-    export const a = "ts3.0 a";
->a : "ts3.0 a"
->"ts3.0 a" : "ts3.0 a"
+    export const a = "ts3.1 a";
+>a : "ts3.1 a"
+>"ts3.1 a" : "ts3.1 a"
 }
 declare module "ext/other" {
 >"ext/other" : typeof import("ext/other")
 
-    export const b = "ts3.0 b";
->b : "ts3.0 b"
->"ts3.0 b" : "ts3.0 b"
+    export const b = "ts3.1 b";
+>b : "ts3.1 b"
+>"ts3.1 b" : "ts3.1 b"
 }
 

tests/baselines/reference/typesVersions.multiFile.js

@@ -6,7 +6,7 @@
     "version": "1.0.0",
     "types": "index",
     "typesVersions": {
-        "3.0": { "*" : ["ts3.0/*"] }
+        "3.1": { "*" : ["ts3.1/*"] }
     }
 }
 
@@ -17,17 +17,17 @@ export const a = "default a";
 export const b = "default b";
 
 //// [index.d.ts]
-export const a = "ts3.0 a";
+export const a = "ts3.1 a";
 
 //// [other.d.ts]
-export const b = "ts3.0 b";
+export const b = "ts3.1 b";
 
 //// [main.ts]
 import { a } from "ext";
 import { b } from "ext/other";
 
-const aa: "ts3.0 a" = a;
-const bb: "ts3.0 b" = b;
+const aa: "ts3.1 a" = a;
+const bb: "ts3.1 b" = b;
 
 
 //// [main.js]

tests/baselines/reference/typesVersions.multiFile.symbols

@@ -6,12 +6,12 @@ export const a = "default a";
 export const b = "default b";
 >b : Symbol(b, Decl(other.d.ts, 0, 12))
 
-=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts ===
-export const a = "ts3.0 a";
+=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts ===
+export const a = "ts3.1 a";
 >a : Symbol(a, Decl(index.d.ts, 0, 12))
 
-=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.d.ts ===
-export const b = "ts3.0 b";
+=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.d.ts ===
+export const b = "ts3.1 b";
 >b : Symbol(b, Decl(other.d.ts, 0, 12))
 
 === tests/cases/conformance/moduleResolution/main.ts ===
@@ -21,11 +21,11 @@ import { a } from "ext";
 import { b } from "ext/other";
 >b : Symbol(b, Decl(main.ts, 1, 8))
 
-const aa: "ts3.0 a" = a;
+const aa: "ts3.1 a" = a;
 >aa : Symbol(aa, Decl(main.ts, 3, 5))
 >a : Symbol(a, Decl(main.ts, 0, 8))
 
-const bb: "ts3.0 b" = b;
+const bb: "ts3.1 b" = b;
 >bb : Symbol(bb, Decl(main.ts, 4, 5))
 >b : Symbol(b, Decl(main.ts, 1, 8))
 

tests/baselines/reference/typesVersions.multiFile.trace.json

@@ -11,27 +11,27 @@
     "File 'tests/cases/conformance/moduleResolution/node_modules/ext.d.ts' does not exist.",
     "'package.json' does not have a 'typings' field.",
     "'package.json' has 'types' field 'index' that references 'tests/cases/conformance/moduleResolution/node_modules/ext/index'.",
-    "'package.json' has a 'typesVersions' entry '3.0' that matches compiler version '3.1', looking for a pattern to match module name 'index'.",
+    "'package.json' has a 'typesVersions' entry '3.1' that matches compiler version '3.1', looking for a pattern to match module name 'index'.",
     "Module name 'index', matched pattern '*'.",
-    "Trying substitution 'ts3.0/*', candidate module location: 'ts3.0/index'.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index' does not exist.",
-    "Loading module as file / folder, candidate module location 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index', target file type 'TypeScript'.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.ts' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.tsx' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts' exist - use it as a name resolution result.",
-    "Resolving real path for 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts', result 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts'.",
-    "======== Module name 'ext' was successfully resolved to 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts'. ========",
+    "Trying substitution 'ts3.1/*', candidate module location: 'ts3.1/index'.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index' does not exist.",
+    "Loading module as file / folder, candidate module location 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index', target file type 'TypeScript'.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.ts' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.tsx' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts' exist - use it as a name resolution result.",
+    "Resolving real path for 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts', result 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts'.",
+    "======== Module name 'ext' was successfully resolved to 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts'. ========",
     "======== Resolving module 'ext/other' from 'tests/cases/conformance/moduleResolution/main.ts'. ========",
     "Module resolution kind is not specified, using 'NodeJs'.",
     "Loading module 'ext/other' from 'node_modules' folder, target file type 'TypeScript'.",
     "'package.json' has a 'typesVersions' field with version-specific path mappings.",
     "Found 'package.json' at 'tests/cases/conformance/moduleResolution/node_modules/ext/package.json'. Package ID is 'ext/other/[email protected]'.",
-    "'package.json' has a 'typesVersions' entry '3.0' that matches compiler version '3.1', looking for a pattern to match module name 'other'.",
+    "'package.json' has a 'typesVersions' entry '3.1' that matches compiler version '3.1', looking for a pattern to match module name 'other'.",
     "Module name 'other', matched pattern '*'.",
-    "Trying substitution 'ts3.0/*', candidate module location: 'ts3.0/other'.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.ts' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.tsx' does not exist.",
-    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.d.ts' exist - use it as a name resolution result.",
-    "Resolving real path for 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.d.ts', result 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.d.ts'.",
-    "======== Module name 'ext/other' was successfully resolved to 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.d.ts'. ========"
+    "Trying substitution 'ts3.1/*', candidate module location: 'ts3.1/other'.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.ts' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.tsx' does not exist.",
+    "File 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.d.ts' exist - use it as a name resolution result.",
+    "Resolving real path for 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.d.ts', result 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.d.ts'.",
+    "======== Module name 'ext/other' was successfully resolved to 'tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.d.ts'. ========"
 ]

tests/baselines/reference/typesVersions.multiFile.types

@@ -8,28 +8,28 @@ export const b = "default b";
 >b : "default b"
 >"default b" : "default b"
 
-=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/index.d.ts ===
-export const a = "ts3.0 a";
->a : "ts3.0 a"
->"ts3.0 a" : "ts3.0 a"
+=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/index.d.ts ===
+export const a = "ts3.1 a";
+>a : "ts3.1 a"
+>"ts3.1 a" : "ts3.1 a"
 
-=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.0/other.d.ts ===
-export const b = "ts3.0 b";
->b : "ts3.0 b"
->"ts3.0 b" : "ts3.0 b"
+=== tests/cases/conformance/moduleResolution/node_modules/ext/ts3.1/other.d.ts ===
+export const b = "ts3.1 b";
+>b : "ts3.1 b"
+>"ts3.1 b" : "ts3.1 b"
 
 === tests/cases/conformance/moduleResolution/main.ts ===
 import { a } from "ext";
->a : "ts3.0 a"
+>a : "ts3.1 a"
 
 import { b } from "ext/other";
->b : "ts3.0 b"
+>b : "ts3.1 b"
 
-const aa: "ts3.0 a" = a;
->aa : "ts3.0 a"
->a : "ts3.0 a"
+const aa: "ts3.1 a" = a;
+>aa : "ts3.1 a"
+>a : "ts3.1 a"
 
-const bb: "ts3.0 b" = b;
->bb : "ts3.0 b"
->b : "ts3.0 b"
+const bb: "ts3.1 b" = b;
+>bb : "ts3.1 b"
+>b : "ts3.1 b"
 

tests/baselines/reference/typesVersionsDeclarationEmit.ambient.js

@@ -6,7 +6,7 @@
     "version": "1.0.0",
     "types": "index",
     "typesVersions": {
-        "3.0": { "*" : ["ts3.0/*"] }
+        "3.1": { "*" : ["ts3.1/*"] }
     }
 }