Skip to content

Commit ee1f262

Browse files
ahejlsbergahejlsberg
committed
Accept new baselines
1 parent 81e78b8 commit ee1f262

File tree

4 files changed

+205
-0
lines changed

4 files changed

+205
-0
lines changed

‎tests/baselines/reference/templateLiteralTypes1.errors.txt

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -241,4 +241,26 @@ tests/cases/conformance/types/literal/templateLiteralTypes1.ts(205,16): error TS
241241
[true, true] extends [IsNegative<T>, IsNegative<Q>] ? 'Every thing is ok!' : ['strange', IsNegative<T>, IsNegative<Q>];
242242

243243
type BB = AA<-2, -2>;
244+
245+
// Repro from #40970
246+
247+
type PathKeys<T> =
248+
T extends readonly any[] ? Extract<keyof T, `${number}`> | SubKeys<T, Extract<keyof T, `${number}`>> :
249+
T extends object ? Extract<keyof T, string> | SubKeys<T, Extract<keyof T, string>> :
250+
never;
251+
252+
type SubKeys<T, K extends string> = K extends keyof T ? `${K}.${PathKeys<T[K]>}` : never;
253+
254+
declare function getProp2<T, P extends PathKeys<T>>(obj: T, path: P): PropType<T, P>;
255+
256+
const obj2 = {
257+
name: 'John',
258+
age: 42,
259+
cars: [
260+
{ make: 'Ford', age: 10 },
261+
{ make: 'Trabant', age: 35 }
262+
]
263+
} as const;
264+
265+
let make = getProp2(obj2, 'cars.1.make'); // 'Trabant'
244266

‎tests/baselines/reference/templateLiteralTypes1.js

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -213,6 +213,28 @@ type AA<T extends number, Q extends number> =
213213
[true, true] extends [IsNegative<T>, IsNegative<Q>] ? 'Every thing is ok!' : ['strange', IsNegative<T>, IsNegative<Q>];
214214

215215
type BB = AA<-2, -2>;
216+
217+
// Repro from #40970
218+
219+
type PathKeys<T> =
220+
T extends readonly any[] ? Extract<keyof T, `${number}`> | SubKeys<T, Extract<keyof T, `${number}`>> :
221+
T extends object ? Extract<keyof T, string> | SubKeys<T, Extract<keyof T, string>> :
222+
never;
223+
224+
type SubKeys<T, K extends string> = K extends keyof T ? `${K}.${PathKeys<T[K]>}` : never;
225+
226+
declare function getProp2<T, P extends PathKeys<T>>(obj: T, path: P): PropType<T, P>;
227+
228+
const obj2 = {
229+
name: 'John',
230+
age: 42,
231+
cars: [
232+
{ make: 'Ford', age: 10 },
233+
{ make: 'Trabant', age: 35 }
234+
]
235+
} as const;
236+
237+
let make = getProp2(obj2, 'cars.1.make'); // 'Trabant'
216238
217239
218240
//// [templateLiteralTypes1.js]
@@ -243,6 +265,15 @@ getPropValue(obj, 'a.b'); // {c: number, d: string }
243265
getPropValue(obj, 'a.b.d'); // string
244266
getPropValue(obj, 'a.b.x'); // unknown
245267
getPropValue(obj, s); // unknown
268+
var obj2 = {
269+
name: 'John',
270+
age: 42,
271+
cars: [
272+
{ make: 'Ford', age: 10 },
273+
{ make: 'Trabant', age: 35 }
274+
]
275+
};
276+
var make = getProp2(obj2, 'cars.1.make'); // 'Trabant'
246277

247278

248279
//// [templateLiteralTypes1.d.ts]
@@ -468,3 +499,18 @@ declare type AA<T extends number, Q extends number> = [
468499
true
469500
] extends [IsNegative<T>, IsNegative<Q>] ? 'Every thing is ok!' : ['strange', IsNegative<T>, IsNegative<Q>];
470501
declare type BB = AA<-2, -2>;
502+
declare type PathKeys<T> = T extends readonly any[] ? Extract<keyof T, `${number}`> | SubKeys<T, Extract<keyof T, `${number}`>> : T extends object ? Extract<keyof T, string> | SubKeys<T, Extract<keyof T, string>> : never;
503+
declare type SubKeys<T, K extends string> = K extends keyof T ? `${K}.${PathKeys<T[K]>}` : never;
504+
declare function getProp2<T, P extends PathKeys<T>>(obj: T, path: P): PropType<T, P>;
505+
declare const obj2: {
506+
readonly name: "John";
507+
readonly age: 42;
508+
readonly cars: readonly [{
509+
readonly make: "Ford";
510+
readonly age: 10;
511+
}, {
512+
readonly make: "Trabant";
513+
readonly age: 35;
514+
}];
515+
};
516+
declare let make: "Trabant";

‎tests/baselines/reference/templateLiteralTypes1.symbols

Lines changed: 79 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -869,3 +869,82 @@ type BB = AA<-2, -2>;
869869
>BB : Symbol(BB, Decl(templateLiteralTypes1.ts, 211, 123))
870870
>AA : Symbol(AA, Decl(templateLiteralTypes1.ts, 208, 79))
871871

872+
// Repro from #40970
873+
874+
type PathKeys<T> =
875+
>PathKeys : Symbol(PathKeys, Decl(templateLiteralTypes1.ts, 213, 21))
876+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
877+
878+
T extends readonly any[] ? Extract<keyof T, `${number}`> | SubKeys<T, Extract<keyof T, `${number}`>> :
879+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
880+
>Extract : Symbol(Extract, Decl(lib.es5.d.ts, --, --))
881+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
882+
>SubKeys : Symbol(SubKeys, Decl(templateLiteralTypes1.ts, 220, 10))
883+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
884+
>Extract : Symbol(Extract, Decl(lib.es5.d.ts, --, --))
885+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
886+
887+
T extends object ? Extract<keyof T, string> | SubKeys<T, Extract<keyof T, string>> :
888+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
889+
>Extract : Symbol(Extract, Decl(lib.es5.d.ts, --, --))
890+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
891+
>SubKeys : Symbol(SubKeys, Decl(templateLiteralTypes1.ts, 220, 10))
892+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
893+
>Extract : Symbol(Extract, Decl(lib.es5.d.ts, --, --))
894+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 217, 14))
895+
896+
never;
897+
898+
type SubKeys<T, K extends string> = K extends keyof T ? `${K}.${PathKeys<T[K]>}` : never;
899+
>SubKeys : Symbol(SubKeys, Decl(templateLiteralTypes1.ts, 220, 10))
900+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 222, 13))
901+
>K : Symbol(K, Decl(templateLiteralTypes1.ts, 222, 15))
902+
>K : Symbol(K, Decl(templateLiteralTypes1.ts, 222, 15))
903+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 222, 13))
904+
>K : Symbol(K, Decl(templateLiteralTypes1.ts, 222, 15))
905+
>PathKeys : Symbol(PathKeys, Decl(templateLiteralTypes1.ts, 213, 21))
906+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 222, 13))
907+
>K : Symbol(K, Decl(templateLiteralTypes1.ts, 222, 15))
908+
909+
declare function getProp2<T, P extends PathKeys<T>>(obj: T, path: P): PropType<T, P>;
910+
>getProp2 : Symbol(getProp2, Decl(templateLiteralTypes1.ts, 222, 89))
911+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 224, 26))
912+
>P : Symbol(P, Decl(templateLiteralTypes1.ts, 224, 28))
913+
>PathKeys : Symbol(PathKeys, Decl(templateLiteralTypes1.ts, 213, 21))
914+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 224, 26))
915+
>obj : Symbol(obj, Decl(templateLiteralTypes1.ts, 224, 52))
916+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 224, 26))
917+
>path : Symbol(path, Decl(templateLiteralTypes1.ts, 224, 59))
918+
>P : Symbol(P, Decl(templateLiteralTypes1.ts, 224, 28))
919+
>PropType : Symbol(PropType, Decl(templateLiteralTypes1.ts, 138, 69))
920+
>T : Symbol(T, Decl(templateLiteralTypes1.ts, 224, 26))
921+
>P : Symbol(P, Decl(templateLiteralTypes1.ts, 224, 28))
922+
923+
const obj2 = {
924+
>obj2 : Symbol(obj2, Decl(templateLiteralTypes1.ts, 226, 5))
925+
926+
name: 'John',
927+
>name : Symbol(name, Decl(templateLiteralTypes1.ts, 226, 14))
928+
929+
age: 42,
930+
>age : Symbol(age, Decl(templateLiteralTypes1.ts, 227, 17))
931+
932+
cars: [
933+
>cars : Symbol(cars, Decl(templateLiteralTypes1.ts, 228, 12))
934+
935+
{ make: 'Ford', age: 10 },
936+
>make : Symbol(make, Decl(templateLiteralTypes1.ts, 230, 9))
937+
>age : Symbol(age, Decl(templateLiteralTypes1.ts, 230, 23))
938+
939+
{ make: 'Trabant', age: 35 }
940+
>make : Symbol(make, Decl(templateLiteralTypes1.ts, 231, 9))
941+
>age : Symbol(age, Decl(templateLiteralTypes1.ts, 231, 26))
942+
943+
]
944+
} as const;
945+
946+
let make = getProp2(obj2, 'cars.1.make'); // 'Trabant'
947+
>make : Symbol(make, Decl(templateLiteralTypes1.ts, 235, 3))
948+
>getProp2 : Symbol(getProp2, Decl(templateLiteralTypes1.ts, 222, 89))
949+
>obj2 : Symbol(obj2, Decl(templateLiteralTypes1.ts, 226, 5))
950+

‎tests/baselines/reference/templateLiteralTypes1.types

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -536,3 +536,61 @@ type BB = AA<-2, -2>;
536536
>-2 : -2
537537
>2 : 2
538538

539+
// Repro from #40970
540+
541+
type PathKeys<T> =
542+
>PathKeys : PathKeys<T>
543+
544+
T extends readonly any[] ? Extract<keyof T, `${number}`> | SubKeys<T, Extract<keyof T, `${number}`>> :
545+
T extends object ? Extract<keyof T, string> | SubKeys<T, Extract<keyof T, string>> :
546+
never;
547+
548+
type SubKeys<T, K extends string> = K extends keyof T ? `${K}.${PathKeys<T[K]>}` : never;
549+
>SubKeys : SubKeys<T, K>
550+
551+
declare function getProp2<T, P extends PathKeys<T>>(obj: T, path: P): PropType<T, P>;
552+
>getProp2 : <T, P extends PathKeys<T>>(obj: T, path: P) => PropType<T, P>
553+
>obj : T
554+
>path : P
555+
556+
const obj2 = {
557+
>obj2 : { readonly name: "John"; readonly age: 42; readonly cars: readonly [{ readonly make: "Ford"; readonly age: 10; }, { readonly make: "Trabant"; readonly age: 35; }]; }
558+
>{ name: 'John', age: 42, cars: [ { make: 'Ford', age: 10 }, { make: 'Trabant', age: 35 } ]} as const : { readonly name: "John"; readonly age: 42; readonly cars: readonly [{ readonly make: "Ford"; readonly age: 10; }, { readonly make: "Trabant"; readonly age: 35; }]; }
559+
>{ name: 'John', age: 42, cars: [ { make: 'Ford', age: 10 }, { make: 'Trabant', age: 35 } ]} : { readonly name: "John"; readonly age: 42; readonly cars: readonly [{ readonly make: "Ford"; readonly age: 10; }, { readonly make: "Trabant"; readonly age: 35; }]; }
560+
561+
name: 'John',
562+
>name : "John"
563+
>'John' : "John"
564+
565+
age: 42,
566+
>age : 42
567+
>42 : 42
568+
569+
cars: [
570+
>cars : readonly [{ readonly make: "Ford"; readonly age: 10; }, { readonly make: "Trabant"; readonly age: 35; }]
571+
>[ { make: 'Ford', age: 10 }, { make: 'Trabant', age: 35 } ] : readonly [{ readonly make: "Ford"; readonly age: 10; }, { readonly make: "Trabant"; readonly age: 35; }]
572+
573+
{ make: 'Ford', age: 10 },
574+
>{ make: 'Ford', age: 10 } : { readonly make: "Ford"; readonly age: 10; }
575+
>make : "Ford"
576+
>'Ford' : "Ford"
577+
>age : 10
578+
>10 : 10
579+
580+
{ make: 'Trabant', age: 35 }
581+
>{ make: 'Trabant', age: 35 } : { readonly make: "Trabant"; readonly age: 35; }
582+
>make : "Trabant"
583+
>'Trabant' : "Trabant"
584+
>age : 35
585+
>35 : 35
586+
587+
]
588+
} as const;
589+
590+
let make = getProp2(obj2, 'cars.1.make'); // 'Trabant'
591+
>make : "Trabant"
592+
>getProp2(obj2, 'cars.1.make') : "Trabant"
593+
>getProp2 : <T, P extends PathKeys<T>>(obj: T, path: P) => PropType<T, P>
594+
>obj2 : { readonly name: "John"; readonly age: 42; readonly cars: readonly [{ readonly make: "Ford"; readonly age: 10; }, { readonly make: "Trabant"; readonly age: 35; }]; }
595+
>'cars.1.make' : "cars.1.make"
596+

0 commit comments

Comments
 (0)