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
|
=== tests/cases/conformance/classes/classDeclarations/classHeritageSpecification/constructorFunctionTypeIsAssignableToBaseType2.ts ===
// the constructor function itself does not need to be a subtype of the base type constructor function
class Base {
>Base : Base
static foo: {
>foo : { bar: Object; }
bar: Object;
>bar : Object
}
constructor(x: Object) {
>x : Object
}
}
class Derived extends Base {
>Derived : Derived
>Base : Base
// ok
static foo: {
>foo : { bar: number; }
bar: number;
>bar : number
}
constructor(x: number) {
>x : number
super(x);
>super(x) : void
>super : typeof Base
>x : number
}
}
class Derived2 extends Base {
>Derived2 : Derived2
>Base : Base
static foo: {
>foo : { bar: number; }
bar: number;
>bar : number
}
// ok, not enforcing assignability relation on this
constructor(x: any) {
>x : any
super(x);
>super(x) : void
>super : typeof Base
>x : any
return 1;
>1 : 1
}
}
|