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
36
37
38
39
40
41
42
|
=== tests/cases/compiler/reverseMappedTypeAssignableToIndex.ts ===
// Simple mapped type and inferrence
type Mapped<T> = { [K in keyof T]: { name: T[K] } };
>Mapped : Mapped<T>
>name : T[K]
type InferFromMapped<T> = T extends Mapped<infer R> ? R : never;
>InferFromMapped : InferFromMapped<T>
// Object literal type and associated mapped type
// Note that in the real code we don't have a direct reference to LiteralType
type LiteralType = {
>LiteralType : { first: "first"; second: "second"; }
first: "first";
>first : "first"
second: "second";
>second : "second"
}
type MappedLiteralType = {
>MappedLiteralType : { first: { name: "first";}; second: { name: "second";}; }
first: { name: "first" },
>first : { name: "first"; }
>name : "first"
second: { name: "second" },
>second : { name: "second"; }
>name : "second"
};
type Inferred = InferFromMapped<MappedLiteralType>;
>Inferred : { first: "first"; second: "second"; }
// UNEXPECTED resolves to false
type Test1 = Inferred extends Record<any, string> ? true : false;
>Test1 : true
>true : true
>false : false
|
