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 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89
|
=== tests/cases/compiler/interfaceInheritance.ts ===
interface I1 {
>I1 : Symbol(I1, Decl(interfaceInheritance.ts, 0, 0))
i1P1: number;
>i1P1 : Symbol(I1.i1P1, Decl(interfaceInheritance.ts, 0, 14))
i1P2(): void;
>i1P2 : Symbol(I1.i1P2, Decl(interfaceInheritance.ts, 1, 17))
}
interface I2 extends I1 {
>I2 : Symbol(I2, Decl(interfaceInheritance.ts, 3, 1))
>I1 : Symbol(I1, Decl(interfaceInheritance.ts, 0, 0))
i2P1: string;
>i2P1 : Symbol(I2.i2P1, Decl(interfaceInheritance.ts, 5, 25))
}
interface I3 {
>I3 : Symbol(I3, Decl(interfaceInheritance.ts, 7, 1))
i2P1: string; // has a member from i2P1, but not from I1
>i2P1 : Symbol(I3.i2P1, Decl(interfaceInheritance.ts, 9, 14))
}
interface I4 {
>I4 : Symbol(I4, Decl(interfaceInheritance.ts, 11, 1))
one: number;
>one : Symbol(I4.one, Decl(interfaceInheritance.ts, 13, 14))
}
interface I5 {
>I5 : Symbol(I5, Decl(interfaceInheritance.ts, 15, 1))
one: string;
>one : Symbol(I5.one, Decl(interfaceInheritance.ts, 17, 14))
}
class C1 implements I2 { // should be an error - it doesn't implement the members of I1
>C1 : Symbol(C1, Decl(interfaceInheritance.ts, 19, 1))
>I2 : Symbol(I2, Decl(interfaceInheritance.ts, 3, 1))
public i2P1: string;
>i2P1 : Symbol(C1.i2P1, Decl(interfaceInheritance.ts, 21, 24))
}
var i2: I2;
>i2 : Symbol(i2, Decl(interfaceInheritance.ts, 25, 3))
>I2 : Symbol(I2, Decl(interfaceInheritance.ts, 3, 1))
var i1: I1;
>i1 : Symbol(i1, Decl(interfaceInheritance.ts, 26, 3))
>I1 : Symbol(I1, Decl(interfaceInheritance.ts, 0, 0))
var i3: I3;
>i3 : Symbol(i3, Decl(interfaceInheritance.ts, 27, 3))
>I3 : Symbol(I3, Decl(interfaceInheritance.ts, 7, 1))
i1 = i2;
>i1 : Symbol(i1, Decl(interfaceInheritance.ts, 26, 3))
>i2 : Symbol(i2, Decl(interfaceInheritance.ts, 25, 3))
i2 = i3; // should be an error - i3 does not implement the members of i1
>i2 : Symbol(i2, Decl(interfaceInheritance.ts, 25, 3))
>i3 : Symbol(i3, Decl(interfaceInheritance.ts, 27, 3))
var c1: C1;
>c1 : Symbol(c1, Decl(interfaceInheritance.ts, 31, 3))
>C1 : Symbol(C1, Decl(interfaceInheritance.ts, 19, 1))
var i4: I4;
>i4 : Symbol(i4, Decl(interfaceInheritance.ts, 33, 3))
>I4 : Symbol(I4, Decl(interfaceInheritance.ts, 11, 1))
var i5: I5;
>i5 : Symbol(i5, Decl(interfaceInheritance.ts, 34, 3))
>I5 : Symbol(I5, Decl(interfaceInheritance.ts, 15, 1))
i4 = i5; // should be an error
>i4 : Symbol(i4, Decl(interfaceInheritance.ts, 33, 3))
>i5 : Symbol(i5, Decl(interfaceInheritance.ts, 34, 3))
i5 = i4; // should be an error
>i5 : Symbol(i5, Decl(interfaceInheritance.ts, 34, 3))
>i4 : Symbol(i4, Decl(interfaceInheritance.ts, 33, 3))
|