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
43
44
45
46
47
48
49
50
|
=== tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWithPrivates3.ts ===
interface T1 { }
interface T2 { z }
>z : any
class C1<T> {
>C1 : C1<T>
private x;
>x : any
}
class C2 extends C1<T1> {
>C2 : C2
>C1 : C1<T1>
y;
>y : any
}
var c1: C1<T2>;
>c1 : C1<T2>
<C2>c1; // Should succeed (private x originates in the same declaration)
><C2>c1 : C2
>c1 : C1<T2>
class C3<T> {
>C3 : C3<T>
private x: T; // This T is the difference between C3 and C1
>x : T
}
class C4 extends C3<T1> {
>C4 : C4
>C3 : C3<T1>
y;
>y : any
}
var c3: C3<T2>;
>c3 : C3<T2>
<C4>c3; // Should fail (private x originates in the same declaration, but different types)
><C4>c3 : C4
>c3 : C3<T2>
|
