1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
=== tests/cases/compiler/typeParameterAssignmentWithConstraints.ts ===
function f<A, B extends A>() {
>f : Symbol(f, Decl(typeParameterAssignmentWithConstraints.ts, 0, 0))
>A : Symbol(A, Decl(typeParameterAssignmentWithConstraints.ts, 0, 11))
>B : Symbol(B, Decl(typeParameterAssignmentWithConstraints.ts, 0, 13))
>A : Symbol(A, Decl(typeParameterAssignmentWithConstraints.ts, 0, 11))
var a: A;
>a : Symbol(a, Decl(typeParameterAssignmentWithConstraints.ts, 1, 7))
>A : Symbol(A, Decl(typeParameterAssignmentWithConstraints.ts, 0, 11))
var b: B;
>b : Symbol(b, Decl(typeParameterAssignmentWithConstraints.ts, 2, 7))
>B : Symbol(B, Decl(typeParameterAssignmentWithConstraints.ts, 0, 13))
a = b; // Error: Can't convert B to A
>a : Symbol(a, Decl(typeParameterAssignmentWithConstraints.ts, 1, 7))
>b : Symbol(b, Decl(typeParameterAssignmentWithConstraints.ts, 2, 7))
}
|
