TypeScript/tests/baselines/reference/substitutionTypeNonGenericIndexType1.symbols at c0b9fa9eca14ad4388e645a29f8300ec1a5634ed · Andarist/TypeScript · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
//// [tests/cases/compiler/substitutionTypeNonGenericIndexType1.ts] ////

=== substitutionTypeNonGenericIndexType1.ts ===
// https://github.com/microsoft/TypeScript/issues/61728

type BasicConditional<T> = keyof T extends any
>BasicConditional : Symbol(BasicConditional, Decl(substitutionTypeNonGenericIndexType1.ts, 0, 0))
>T : Symbol(T, Decl(substitutionTypeNonGenericIndexType1.ts, 2, 22))
>T : Symbol(T, Decl(substitutionTypeNonGenericIndexType1.ts, 2, 22))

  ? true
  : false;

type Config = { rejectClose: true };
>Config : Symbol(Config, Decl(substitutionTypeNonGenericIndexType1.ts, 4, 10))
>rejectClose : Symbol(rejectClose, Decl(substitutionTypeNonGenericIndexType1.ts, 6, 15))

type Test =
>Test : Symbol(Test, Decl(substitutionTypeNonGenericIndexType1.ts, 6, 36))

  Config extends {}
>Config : Symbol(Config, Decl(substitutionTypeNonGenericIndexType1.ts, 4, 10))

    ? {
        rejectClose: BasicConditional<Config>;
>rejectClose : Symbol(rejectClose, Decl(substitutionTypeNonGenericIndexType1.ts, 9, 7))
>BasicConditional : Symbol(BasicConditional, Decl(substitutionTypeNonGenericIndexType1.ts, 0, 0))
>Config : Symbol(Config, Decl(substitutionTypeNonGenericIndexType1.ts, 4, 10))
      }
    : never;

type RejectClose = Test["rejectClose"];
>RejectClose : Symbol(RejectClose, Decl(substitutionTypeNonGenericIndexType1.ts, 12, 12))
>Test : Symbol(Test, Decl(substitutionTypeNonGenericIndexType1.ts, 6, 36))