Reduce the last ~2 years of uncovered top1000 repo failures into local tests

tsc/internal/execute/tsctests/tsc_test.go

@@ -282,6 +282,43 @@ func TestTscCommandline(t *testing.T) {
 		},
 	}
 
+	for _, value := range []string{"false", "true", "omitted"} {
+		option := ""
+		if value != "omitted" {
+			option = `, "alwaysStrict": ` + value
+		}
+		testCases = append(testCases, &tscInput{
+			subScenario: "alwaysStrict " + value + " in configuration",
+			files: FileMap{
+				"/home/src/workspaces/project/tsconfig.json": fmt.Sprintf(`{"compilerOptions": {"target": "es2015"%s}}`, option),
+				"/home/src/workspaces/project/index.ts":      "export {};",
+			},
+			commandLineArgs: []string{"--noEmit"},
+		})
+	}
+	for _, setting := range []struct {
+		name   string
+		config string
+		base   string
+	}{
+		{"relative", `{"compilerOptions": {"target": "es2015", "baseUrl": "."}}`, ""},
+		{"empty", `{"compilerOptions": {"target": "es2015", "baseUrl": ""}}`, ""},
+		{"inherited", `{"extends": "./base.json"}`, `{"compilerOptions": {"target": "es2015", "baseUrl": "."}}`},
+		{"omitted", `{"compilerOptions": {"target": "es2015"}}`, ""},
+	} {
+		files := FileMap{
+			"/home/src/workspaces/project/tsconfig.json": setting.config,
+			"/home/src/workspaces/project/index.ts":      "export {};",
+		}
+		if setting.base != "" {
+			files["/home/src/workspaces/project/base.json"] = setting.base
+		}
+		testCases = append(testCases, &tscInput{
+			subScenario:     "baseUrl " + setting.name + " in configuration",
+			files:           files,
+			commandLineArgs: []string{"--noEmit"},
+		})
+	}
 	for _, testCase := range testCases {
 		testCase.run(t, "commandLine")
 	}

tsc/testdata/baselines/reference/compiler/assertedGenericPartialIndexedAssignment.symbols

@@ -0,0 +1,17 @@
+//// [tests/cases/compiler/assertedGenericPartialIndexedAssignment.ts] ////
+
+=== assertedGenericPartialIndexedAssignment.ts ===
+function write<T extends Record<string, unknown>>(values: Partial<T>, key: string) {
+>write : Symbol(write, Decl(assertedGenericPartialIndexedAssignment.ts, 0, 0))
+>T : Symbol(T, Decl(assertedGenericPartialIndexedAssignment.ts, 0, 15))
+>Record : Symbol(Record, Decl(lib.es5.d.ts, --, --))
+>values : Symbol(values, Decl(assertedGenericPartialIndexedAssignment.ts, 0, 50))
+>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
+>T : Symbol(T, Decl(assertedGenericPartialIndexedAssignment.ts, 0, 15))
+>key : Symbol(key, Decl(assertedGenericPartialIndexedAssignment.ts, 0, 69))
+
+    (values[key] as unknown) = 0;
+>values : Symbol(values, Decl(assertedGenericPartialIndexedAssignment.ts, 0, 50))
+>key : Symbol(key, Decl(assertedGenericPartialIndexedAssignment.ts, 0, 69))
+}
+

tsc/testdata/baselines/reference/compiler/assertedGenericPartialIndexedAssignment.types

@@ -0,0 +1,18 @@
+//// [tests/cases/compiler/assertedGenericPartialIndexedAssignment.ts] ////
+
+=== assertedGenericPartialIndexedAssignment.ts ===
+function write<T extends Record<string, unknown>>(values: Partial<T>, key: string) {
+>write : <T extends Record<string, unknown>>(values: Partial<T>, key: string) => void
+>values : Partial<T>
+>key : string
+
+    (values[key] as unknown) = 0;
+>(values[key] as unknown) = 0 : 0
+>(values[key] as unknown) : unknown
+>values[key] as unknown : unknown
+>values[key] : T[string] | undefined
+>values : Partial<T>
+>key : string
+>0 : 0
+}
+

tsc/testdata/baselines/reference/compiler/assertedReadonlyParameterPropertyAssignment.symbols

@@ -0,0 +1,19 @@
+//// [tests/cases/compiler/assertedReadonlyParameterPropertyAssignment.ts] ////
+
+=== assertedReadonlyParameterPropertyAssignment.ts ===
+class ReadonlyState {
+>ReadonlyState : Symbol(ReadonlyState, Decl(assertedReadonlyParameterPropertyAssignment.ts, 0, 0))
+
+    constructor(readonly value: object) {}
+>value : Symbol(ReadonlyState.value, Decl(assertedReadonlyParameterPropertyAssignment.ts, 1, 16))
+
+    clear() {
+>clear : Symbol(ReadonlyState.clear, Decl(assertedReadonlyParameterPropertyAssignment.ts, 1, 42))
+
+        (this.value as unknown) = null;
+>this.value : Symbol(ReadonlyState.value, Decl(assertedReadonlyParameterPropertyAssignment.ts, 1, 16))
+>this : Symbol(ReadonlyState, Decl(assertedReadonlyParameterPropertyAssignment.ts, 0, 0))
+>value : Symbol(ReadonlyState.value, Decl(assertedReadonlyParameterPropertyAssignment.ts, 1, 16))
+    }
+}
+

tsc/testdata/baselines/reference/compiler/assertedReadonlyParameterPropertyAssignment.types

@@ -0,0 +1,22 @@
+//// [tests/cases/compiler/assertedReadonlyParameterPropertyAssignment.ts] ////
+
+=== assertedReadonlyParameterPropertyAssignment.ts ===
+class ReadonlyState {
+>ReadonlyState : ReadonlyState
+
+    constructor(readonly value: object) {}
+>value : object
+
+    clear() {
+>clear : () => void
+
+        (this.value as unknown) = null;
+>(this.value as unknown) = null : null
+>(this.value as unknown) : unknown
+>this.value as unknown : unknown
+>this.value : object
+>this : this
+>value : object
+    }
+}
+

tsc/testdata/baselines/reference/compiler/callableConstructorUnionMetadata.symbols

@@ -0,0 +1,29 @@
+//// [tests/cases/compiler/callableConstructorUnionMetadata.ts] ////
+
+=== callableConstructorUnionMetadata.ts ===
+type Component<Props> = ((props: Props) => number) | (new (props: Props) => object);
+>Component : Symbol(Component, Decl(callableConstructorUnionMetadata.ts, 0, 0))
+>Props : Symbol(Props, Decl(callableConstructorUnionMetadata.ts, 0, 15))
+>props : Symbol(props, Decl(callableConstructorUnionMetadata.ts, 0, 26))
+>Props : Symbol(Props, Decl(callableConstructorUnionMetadata.ts, 0, 15))
+>props : Symbol(props, Decl(callableConstructorUnionMetadata.ts, 0, 59))
+>Props : Symbol(Props, Decl(callableConstructorUnionMetadata.ts, 0, 15))
+
+type Field<Props> = Component<Props> & { testIds?: {} };
+>Field : Symbol(Field, Decl(callableConstructorUnionMetadata.ts, 0, 84))
+>Props : Symbol(Props, Decl(callableConstructorUnionMetadata.ts, 1, 11))
+>Component : Symbol(Component, Decl(callableConstructorUnionMetadata.ts, 0, 0))
+>Props : Symbol(Props, Decl(callableConstructorUnionMetadata.ts, 1, 11))
+>testIds : Symbol(testIds, Decl(callableConstructorUnionMetadata.ts, 1, 40))
+
+declare const component: <Props>(props: Props) => number;
+>component : Symbol(component, Decl(callableConstructorUnionMetadata.ts, 3, 13))
+>Props : Symbol(Props, Decl(callableConstructorUnionMetadata.ts, 3, 26))
+>props : Symbol(props, Decl(callableConstructorUnionMetadata.ts, 3, 33))
+>Props : Symbol(Props, Decl(callableConstructorUnionMetadata.ts, 3, 26))
+
+const field: Field<string> = component;
+>field : Symbol(field, Decl(callableConstructorUnionMetadata.ts, 4, 5))
+>Field : Symbol(Field, Decl(callableConstructorUnionMetadata.ts, 0, 84))
+>component : Symbol(component, Decl(callableConstructorUnionMetadata.ts, 3, 13))
+

tsc/testdata/baselines/reference/compiler/callableConstructorUnionMetadata.types

@@ -0,0 +1,20 @@
+//// [tests/cases/compiler/callableConstructorUnionMetadata.ts] ////
+
+=== callableConstructorUnionMetadata.ts ===
+type Component<Props> = ((props: Props) => number) | (new (props: Props) => object);
+>Component : Component<Props>
+>props : Props
+>props : Props
+
+type Field<Props> = Component<Props> & { testIds?: {} };
+>Field : Field<Props>
+>testIds : {} | undefined
+
+declare const component: <Props>(props: Props) => number;
+>component : <Props>(props: Props) => number
+>props : Props
+
+const field: Field<string> = component;
+>field : Field<string>
+>component : <Props>(props: Props) => number
+

tsc/testdata/baselines/reference/compiler/callableWeakMetadata.symbols

@@ -0,0 +1,15 @@
+//// [tests/cases/compiler/callableWeakMetadata.ts] ////
+
+=== callableWeakMetadata.ts ===
+type Initializer = (() => number) & { mutators?: [] };
+>Initializer : Symbol(Initializer, Decl(callableWeakMetadata.ts, 0, 0))
+>mutators : Symbol(mutators, Decl(callableWeakMetadata.ts, 0, 37))
+
+declare function createStore(initializer: Initializer): void;
+>createStore : Symbol(createStore, Decl(callableWeakMetadata.ts, 0, 54))
+>initializer : Symbol(initializer, Decl(callableWeakMetadata.ts, 2, 29))
+>Initializer : Symbol(Initializer, Decl(callableWeakMetadata.ts, 0, 0))
+
+createStore(() => 1);
+>createStore : Symbol(createStore, Decl(callableWeakMetadata.ts, 0, 54))
+

tsc/testdata/baselines/reference/compiler/callableWeakMetadata.types

@@ -0,0 +1,17 @@
+//// [tests/cases/compiler/callableWeakMetadata.ts] ////
+
+=== callableWeakMetadata.ts ===
+type Initializer = (() => number) & { mutators?: [] };
+>Initializer : Initializer
+>mutators : [] | undefined
+
+declare function createStore(initializer: Initializer): void;
+>createStore : (initializer: Initializer) => void
+>initializer : Initializer
+
+createStore(() => 1);
+>createStore(() => 1) : void
+>createStore : (initializer: Initializer) => void
+>() => 1 : () => number
+>1 : 1
+

tsc/testdata/baselines/reference/compiler/callableWeakMetadataCallSuggestion.symbols

@@ -0,0 +1,19 @@
+//// [tests/cases/compiler/callableWeakMetadataCallSuggestion.ts] ////
+
+=== callableWeakMetadataCallSuggestion.ts ===
+type Initializer = (() => number) & { mutators?: [] };
+>Initializer : Symbol(Initializer, Decl(callableWeakMetadataCallSuggestion.ts, 0, 0))
+>mutators : Symbol(mutators, Decl(callableWeakMetadataCallSuggestion.ts, 0, 37))
+
+declare function createStore(initializer: Initializer): void;
+>createStore : Symbol(createStore, Decl(callableWeakMetadataCallSuggestion.ts, 0, 54))
+>initializer : Symbol(initializer, Decl(callableWeakMetadataCallSuggestion.ts, 2, 29))
+>Initializer : Symbol(Initializer, Decl(callableWeakMetadataCallSuggestion.ts, 0, 0))
+
+declare const initializer: () => any;
+>initializer : Symbol(initializer, Decl(callableWeakMetadataCallSuggestion.ts, 3, 13))
+
+createStore(initializer);
+>createStore : Symbol(createStore, Decl(callableWeakMetadataCallSuggestion.ts, 0, 54))
+>initializer : Symbol(initializer, Decl(callableWeakMetadataCallSuggestion.ts, 3, 13))
+

tsc/testdata/baselines/reference/compiler/callableWeakMetadataCallSuggestion.types

@@ -0,0 +1,19 @@
+//// [tests/cases/compiler/callableWeakMetadataCallSuggestion.ts] ////
+
+=== callableWeakMetadataCallSuggestion.ts ===
+type Initializer = (() => number) & { mutators?: [] };
+>Initializer : Initializer
+>mutators : [] | undefined
+
+declare function createStore(initializer: Initializer): void;
+>createStore : (initializer: Initializer) => void
+>initializer : Initializer
+
+declare const initializer: () => any;
+>initializer : () => any
+
+createStore(initializer);
+>createStore(initializer) : void
+>createStore : (initializer: Initializer) => void
+>initializer : () => any
+

tsc/testdata/baselines/reference/compiler/callbackAssignedNonNull.symbols

@@ -0,0 +1,27 @@
+//// [tests/cases/compiler/callbackAssignedNonNull.ts] ////
+
+=== callbackAssignedNonNull.ts ===
+declare function initialize(callback: (cancel: () => void) => void): void;
+>initialize : Symbol(initialize, Decl(callbackAssignedNonNull.ts, 0, 0))
+>callback : Symbol(callback, Decl(callbackAssignedNonNull.ts, 0, 28))
+>cancel : Symbol(cancel, Decl(callbackAssignedNonNull.ts, 0, 39))
+
+function start() {
+>start : Symbol(start, Decl(callbackAssignedNonNull.ts, 0, 74))
+
+    let cancel;
+>cancel : Symbol(cancel, Decl(callbackAssignedNonNull.ts, 3, 7))
+
+    initialize(value => {
+>initialize : Symbol(initialize, Decl(callbackAssignedNonNull.ts, 0, 0))
+>value : Symbol(value, Decl(callbackAssignedNonNull.ts, 4, 15))
+
+        cancel = value;
+>cancel : Symbol(cancel, Decl(callbackAssignedNonNull.ts, 3, 7))
+>value : Symbol(value, Decl(callbackAssignedNonNull.ts, 4, 15))
+
+    });
+    cancel!();
+>cancel : Symbol(cancel, Decl(callbackAssignedNonNull.ts, 3, 7))
+}
+

tsc/testdata/baselines/reference/compiler/callbackAssignedNonNull.types

@@ -0,0 +1,32 @@
+//// [tests/cases/compiler/callbackAssignedNonNull.ts] ////
+
+=== callbackAssignedNonNull.ts ===
+declare function initialize(callback: (cancel: () => void) => void): void;
+>initialize : (callback: (cancel: () => void) => void) => void
+>callback : (cancel: () => void) => void
+>cancel : () => void
+
+function start() {
+>start : () => void
+
+    let cancel;
+>cancel : any
+
+    initialize(value => {
+>initialize(value => {        cancel = value;    }) : void
+>initialize : (callback: (cancel: () => void) => void) => void
+>value => {        cancel = value;    } : (value: () => void) => void
+>value : () => void
+
+        cancel = value;
+>cancel = value : () => void
+>cancel : any
+>value : () => void
+
+    });
+    cancel!();
+>cancel!() : any
+>cancel! : any
+>cancel : any
+}
+

tsc/testdata/baselines/reference/compiler/chainedFilterPredicateInference.js

@@ -0,0 +1,18 @@
+//// [tests/cases/compiler/chainedFilterPredicateInference.ts] ////
+
+//// [chainedFilterPredicateInference.ts]
+declare const items: { id: number }[];
+declare const registry: { [id: number]: { [frame: number]: unknown } };
+
+items
+    .filter(item => true)
+    .filter(item => !registry[item.id])
+    .forEach(item => item.id);
+
+
+//// [chainedFilterPredicateInference.js]
+"use strict";
+items
+    .filter(item => true)
+    .filter(item => !registry[item.id])
+    .forEach(item => item.id);

tsc/testdata/baselines/reference/compiler/chainedFilterPredicateInference.symbols

@@ -0,0 +1,37 @@
+//// [tests/cases/compiler/chainedFilterPredicateInference.ts] ////
+
+=== chainedFilterPredicateInference.ts ===
+declare const items: { id: number }[];
+>items : Symbol(items, Decl(chainedFilterPredicateInference.ts, 0, 13))
+>id : Symbol(id, Decl(chainedFilterPredicateInference.ts, 0, 22))
+
+declare const registry: { [id: number]: { [frame: number]: unknown } };
+>registry : Symbol(registry, Decl(chainedFilterPredicateInference.ts, 1, 13))
+>id : Symbol(id, Decl(chainedFilterPredicateInference.ts, 1, 27))
+>frame : Symbol(frame, Decl(chainedFilterPredicateInference.ts, 1, 43))
+
+items
+>items    .filter(item => true)    .filter(item => !registry[item.id])    .forEach : Symbol(Array.forEach, Decl(lib.es5.d.ts, --, --))
+>items    .filter(item => true)    .filter : Symbol(Array.filter, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+>items    .filter : Symbol(Array.filter, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+>items : Symbol(items, Decl(chainedFilterPredicateInference.ts, 0, 13))
+
+    .filter(item => true)
+>filter : Symbol(Array.filter, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+>item : Symbol(item, Decl(chainedFilterPredicateInference.ts, 4, 12))
+
+    .filter(item => !registry[item.id])
+>filter : Symbol(Array.filter, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
+>item : Symbol(item, Decl(chainedFilterPredicateInference.ts, 5, 12))
+>registry : Symbol(registry, Decl(chainedFilterPredicateInference.ts, 1, 13))
+>item.id : Symbol(id, Decl(chainedFilterPredicateInference.ts, 0, 22))
+>item : Symbol(item, Decl(chainedFilterPredicateInference.ts, 5, 12))
+>id : Symbol(id, Decl(chainedFilterPredicateInference.ts, 0, 22))
+
+    .forEach(item => item.id);
+>forEach : Symbol(Array.forEach, Decl(lib.es5.d.ts, --, --))
+>item : Symbol(item, Decl(chainedFilterPredicateInference.ts, 6, 13))
+>item.id : Symbol(id, Decl(chainedFilterPredicateInference.ts, 0, 22))
+>item : Symbol(item, Decl(chainedFilterPredicateInference.ts, 6, 13))
+>id : Symbol(id, Decl(chainedFilterPredicateInference.ts, 0, 22))
+