Add regression test

Author: ahejlsberg

tests/baselines/reference/inferenceFromIncompleteSource.errors.txt

@@ -0,0 +1,21 @@
+tests/cases/compiler/inferenceFromIncompleteSource.ts(11,11): error TS2345: Argument of type '{ items: { name: string; }[]; itemKey: "name"; }' is not assignable to parameter of type 'ListProps<{ name: string; }, "name">'.
+  Property 'prop' is missing in type '{ items: { name: string; }[]; itemKey: "name"; }' but required in type 'ListProps<{ name: string; }, "name">'.
+
+
+==== tests/cases/compiler/inferenceFromIncompleteSource.ts (1 errors) ====
+    // Repro from #42030
+    
+    interface ListProps<T, K extends keyof T> {
+      items: T[];
+      itemKey: K;
+      prop: number;
+    }
+    
+    declare const Component: <T, K extends keyof T>(x: ListProps<T, K>) => void;
+    
+    Component({items: [{name:' string'}], itemKey: 'name' });
+              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2345: Argument of type '{ items: { name: string; }[]; itemKey: "name"; }' is not assignable to parameter of type 'ListProps<{ name: string; }, "name">'.
+!!! error TS2345:   Property 'prop' is missing in type '{ items: { name: string; }[]; itemKey: "name"; }' but required in type 'ListProps<{ name: string; }, "name">'.
+!!! related TS2728 tests/cases/compiler/inferenceFromIncompleteSource.ts:6:3: 'prop' is declared here.
+    

tests/baselines/reference/inferenceFromIncompleteSource.js

@@ -0,0 +1,18 @@
+//// [inferenceFromIncompleteSource.ts]
+// Repro from #42030
+
+interface ListProps<T, K extends keyof T> {
+  items: T[];
+  itemKey: K;
+  prop: number;
+}
+
+declare const Component: <T, K extends keyof T>(x: ListProps<T, K>) => void;
+
+Component({items: [{name:' string'}], itemKey: 'name' });
+
+
+//// [inferenceFromIncompleteSource.js]
+"use strict";
+// Repro from #42030
+Component({ items: [{ name: ' string' }], itemKey: 'name' });

tests/baselines/reference/inferenceFromIncompleteSource.symbols

@@ -0,0 +1,37 @@
+=== tests/cases/compiler/inferenceFromIncompleteSource.ts ===
+// Repro from #42030
+
+interface ListProps<T, K extends keyof T> {
+>ListProps : Symbol(ListProps, Decl(inferenceFromIncompleteSource.ts, 0, 0))
+>T : Symbol(T, Decl(inferenceFromIncompleteSource.ts, 2, 20))
+>K : Symbol(K, Decl(inferenceFromIncompleteSource.ts, 2, 22))
+>T : Symbol(T, Decl(inferenceFromIncompleteSource.ts, 2, 20))
+
+  items: T[];
+>items : Symbol(ListProps.items, Decl(inferenceFromIncompleteSource.ts, 2, 43))
+>T : Symbol(T, Decl(inferenceFromIncompleteSource.ts, 2, 20))
+
+  itemKey: K;
+>itemKey : Symbol(ListProps.itemKey, Decl(inferenceFromIncompleteSource.ts, 3, 13))
+>K : Symbol(K, Decl(inferenceFromIncompleteSource.ts, 2, 22))
+
+  prop: number;
+>prop : Symbol(ListProps.prop, Decl(inferenceFromIncompleteSource.ts, 4, 13))
+}
+
+declare const Component: <T, K extends keyof T>(x: ListProps<T, K>) => void;
+>Component : Symbol(Component, Decl(inferenceFromIncompleteSource.ts, 8, 13))
+>T : Symbol(T, Decl(inferenceFromIncompleteSource.ts, 8, 26))
+>K : Symbol(K, Decl(inferenceFromIncompleteSource.ts, 8, 28))
+>T : Symbol(T, Decl(inferenceFromIncompleteSource.ts, 8, 26))
+>x : Symbol(x, Decl(inferenceFromIncompleteSource.ts, 8, 48))
+>ListProps : Symbol(ListProps, Decl(inferenceFromIncompleteSource.ts, 0, 0))
+>T : Symbol(T, Decl(inferenceFromIncompleteSource.ts, 8, 26))
+>K : Symbol(K, Decl(inferenceFromIncompleteSource.ts, 8, 28))
+
+Component({items: [{name:' string'}], itemKey: 'name' });
+>Component : Symbol(Component, Decl(inferenceFromIncompleteSource.ts, 8, 13))
+>items : Symbol(items, Decl(inferenceFromIncompleteSource.ts, 10, 11))
+>name : Symbol(name, Decl(inferenceFromIncompleteSource.ts, 10, 20))
+>itemKey : Symbol(itemKey, Decl(inferenceFromIncompleteSource.ts, 10, 37))
+

tests/baselines/reference/inferenceFromIncompleteSource.types

@@ -0,0 +1,30 @@
+=== tests/cases/compiler/inferenceFromIncompleteSource.ts ===
+// Repro from #42030
+
+interface ListProps<T, K extends keyof T> {
+  items: T[];
+>items : T[]
+
+  itemKey: K;
+>itemKey : K
+
+  prop: number;
+>prop : number
+}
+
+declare const Component: <T, K extends keyof T>(x: ListProps<T, K>) => void;
+>Component : <T, K extends keyof T>(x: ListProps<T, K>) => void
+>x : ListProps<T, K>
+
+Component({items: [{name:' string'}], itemKey: 'name' });
+>Component({items: [{name:' string'}], itemKey: 'name' }) : void
+>Component : <T, K extends keyof T>(x: ListProps<T, K>) => void
+>{items: [{name:' string'}], itemKey: 'name' } : { items: { name: string; }[]; itemKey: "name"; }
+>items : { name: string; }[]
+>[{name:' string'}] : { name: string; }[]
+>{name:' string'} : { name: string; }
+>name : string
+>' string' : " string"
+>itemKey : "name"
+>'name' : "name"
+

tests/cases/compiler/inferenceFromIncompleteSource.ts

@@ -0,0 +1,13 @@
+// @strict: true
+
+// Repro from #42030
+
+interface ListProps<T, K extends keyof T> {
+  items: T[];
+  itemKey: K;
+  prop: number;
+}
+
+declare const Component: <T, K extends keyof T>(x: ListProps<T, K>) => void;
+
+Component({items: [{name:' string'}], itemKey: 'name' });