1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
//// [tests/cases/compiler/genericTypeAssertions1.ts] ////
=== genericTypeAssertions1.ts ===
class A<T> { foo(x: T) { }}
>A : A<T>
>foo : (x: T) => void
>x : T
var foo = new A<number>();
>foo : A<number>
>new A<number>() : A<number>
>A : typeof A
var r: A<string> = <A<number>>new A(); // error
>r : A<string>
><A<number>>new A() : A<number>
>new A() : A<number>
>A : typeof A
var r2: A<number> = <A<A<number>>>foo; // error
>r2 : A<number>
><A<A<number>>>foo : A<A<number>>
>foo : A<number>
|
