1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
=== tests/cases/conformance/types/typeRelationships/apparentType/apparentTypeSupertype.ts ===
// subtype checks use the apparent type of the target type
// S is a subtype of a type T, and T is a supertype of S, if one of the following is true, where S' denotes the apparent type (section 3.8.1) of S:
class Base {
>Base : Base
x: string;
>x : string
}
// is String (S) a subtype of U extends String (T)? Would only be true if we used the apparent type of U (T)
class Derived<U extends String> extends Base { // error
>Derived : Derived<U>
>Base : Base
x: U;
>x : U
}
|
