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
|
=== tests/cases/compiler/contextuallyTypingRestParameters.ts ===
var x: (...y: string[]) => void = function (.../*3*/y) {
>x : Symbol(x, Decl(contextuallyTypingRestParameters.ts, 0, 3))
>y : Symbol(y, Decl(contextuallyTypingRestParameters.ts, 0, 8))
>y : Symbol(y, Decl(contextuallyTypingRestParameters.ts, 0, 44))
var t = y;
>t : Symbol(t, Decl(contextuallyTypingRestParameters.ts, 1, 7))
>y : Symbol(y, Decl(contextuallyTypingRestParameters.ts, 0, 44))
var x2: string = t; // This should be error
>x2 : Symbol(x2, Decl(contextuallyTypingRestParameters.ts, 2, 7))
>t : Symbol(t, Decl(contextuallyTypingRestParameters.ts, 1, 7))
var x3: string[] = t; // No error
>x3 : Symbol(x3, Decl(contextuallyTypingRestParameters.ts, 3, 7))
>t : Symbol(t, Decl(contextuallyTypingRestParameters.ts, 1, 7))
var y2: string = y; // This should be error
>y2 : Symbol(y2, Decl(contextuallyTypingRestParameters.ts, 4, 7))
>y : Symbol(y, Decl(contextuallyTypingRestParameters.ts, 0, 44))
var y3: string[] = y; // No error
>y3 : Symbol(y3, Decl(contextuallyTypingRestParameters.ts, 5, 7))
>y : Symbol(y, Decl(contextuallyTypingRestParameters.ts, 0, 44))
};
|
