1
2
3
4
5
6
7
8
9
10
11
12
|
//// [tests/cases/compiler/substitutionTypeForNonGenericIndexedAccessType.ts] ////
=== substitutionTypeForNonGenericIndexedAccessType.ts ===
interface A {}
>A : Symbol(A, Decl(substitutionTypeForNonGenericIndexedAccessType.ts, 0, 0))
type B = A extends Record<'foo', string> ? A['foo'] : string; // no error
>B : Symbol(B, Decl(substitutionTypeForNonGenericIndexedAccessType.ts, 0, 14))
>A : Symbol(A, Decl(substitutionTypeForNonGenericIndexedAccessType.ts, 0, 0))
>Record : Symbol(Record, Decl(lib.es5.d.ts, --, --))
>A : Symbol(A, Decl(substitutionTypeForNonGenericIndexedAccessType.ts, 0, 0))
|
