TypeScriptP/tests/baselines/reference/classIsSubtypeOfBaseType.types at 850c19b583ace6b59ddd0dfa4719d63632342ba9 · ace-tk/TypeScriptP · GitHub

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
//// [tests/cases/conformance/classes/classDeclarations/classHeritageSpecification/classIsSubtypeOfBaseType.ts] ////

=== classIsSubtypeOfBaseType.ts ===
class Base<T> {
>Base : Base<T>
>     : ^^^^^^^

    foo: T;
>foo : T
>    : ^
}

class Derived extends Base<{ bar: string; }> {
>Derived : Derived
>        : ^^^^^^^
>Base : Base<{ bar: string; }>
>     : ^^^^^^^^^^^^      ^^^^
>bar : string
>    : ^^^^^^

    foo: {
>foo : { bar: string; baz: number; }
>    : ^^^^^^^      ^^^^^^^      ^^^

        bar: string; baz: number; // ok
>bar : string
>    : ^^^^^^
>baz : number
>    : ^^^^^^
    }
}

class Derived2 extends Base<{ bar: string; }> {
>Derived2 : Derived2
>         : ^^^^^^^^
>Base : Base<{ bar: string; }>
>     : ^^^^^^^^^^^^      ^^^^
>bar : string
>    : ^^^^^^

    foo: {
>foo : { bar?: string | undefined; }
>    : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

        bar?: string; // error
>bar : string | undefined
>    : ^^^^^^^^^^^^^^^^^^
    }
}