TypeScript/tests/baselines/reference/stringLiteralIndexingWithIndexSignature.symbols at ac25e2b7f99a7b1148728e04a3afad6da03600fb · microsoft/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
//// [tests/cases/compiler/stringLiteralIndexingWithIndexSignature.ts] ////

=== stringLiteralIndexingWithIndexSignature.ts ===
interface Dic<T> {
>Dic : Symbol(Dic, Decl(stringLiteralIndexingWithIndexSignature.ts, 0, 0))
>T : Symbol(T, Decl(stringLiteralIndexingWithIndexSignature.ts, 0, 14))

    [key: string]: T;
>key : Symbol(key, Decl(stringLiteralIndexingWithIndexSignature.ts, 1, 5))
>T : Symbol(T, Decl(stringLiteralIndexingWithIndexSignature.ts, 0, 14))
}

function getVal<T, K extends string>(obj: Dic<T>, key: K) {
>getVal : Symbol(getVal, Decl(stringLiteralIndexingWithIndexSignature.ts, 2, 1))
>T : Symbol(T, Decl(stringLiteralIndexingWithIndexSignature.ts, 4, 16))
>K : Symbol(K, Decl(stringLiteralIndexingWithIndexSignature.ts, 4, 18))
>obj : Symbol(obj, Decl(stringLiteralIndexingWithIndexSignature.ts, 4, 37))
>Dic : Symbol(Dic, Decl(stringLiteralIndexingWithIndexSignature.ts, 0, 0))
>T : Symbol(T, Decl(stringLiteralIndexingWithIndexSignature.ts, 4, 16))
>key : Symbol(key, Decl(stringLiteralIndexingWithIndexSignature.ts, 4, 49))
>K : Symbol(K, Decl(stringLiteralIndexingWithIndexSignature.ts, 4, 18))

    // This is the classic failure point for #30408
    // It should resolve to 'T', but often resolves to 'any' or errors
    return obj[key];
>obj : Symbol(obj, Decl(stringLiteralIndexingWithIndexSignature.ts, 4, 37))
>key : Symbol(key, Decl(stringLiteralIndexingWithIndexSignature.ts, 4, 49))
}

type Specific = Dic<number>["some_literal"]; // Should be 'number'
>Specific : Symbol(Specific, Decl(stringLiteralIndexingWithIndexSignature.ts, 8, 1))
>Dic : Symbol(Dic, Decl(stringLiteralIndexingWithIndexSignature.ts, 0, 0))