77class Base<U extends String> {
88>Base : Symbol(Base, Decl(apparentTypeSubtyping.ts, 0, 0))
99>U : Symbol(U, Decl(apparentTypeSubtyping.ts, 3, 11))
10- >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
10+ >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --) )
1111
1212 x: U;
1313>x : Symbol(Base.x, Decl(apparentTypeSubtyping.ts, 3, 30))
@@ -22,26 +22,26 @@ class Derived<U> extends Base<string> { // error
2222
2323 x: String;
2424>x : Symbol(Derived.x, Decl(apparentTypeSubtyping.ts, 8, 39))
25- >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
25+ >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --) )
2626}
2727
2828class Base2 {
2929>Base2 : Symbol(Base2, Decl(apparentTypeSubtyping.ts, 10, 1))
3030
3131 x: String;
3232>x : Symbol(Base2.x, Decl(apparentTypeSubtyping.ts, 12, 13))
33- >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
33+ >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --) )
3434
3535 static s: String;
3636>s : Symbol(Base2.s, Decl(apparentTypeSubtyping.ts, 13, 14))
37- >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
37+ >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --) )
3838}
3939
4040// is U extends String (S) a subtype of String (T)? Apparent type of U is String so it succeeds
4141class Derived2<U extends String> extends Base2 { // error because of the prototype's not matching, not because of the instance side
4242>Derived2 : Symbol(Derived2, Decl(apparentTypeSubtyping.ts, 15, 1))
4343>U : Symbol(U, Decl(apparentTypeSubtyping.ts, 18, 15))
44- >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --))
44+ >String : Symbol(String, Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --), Decl(lib.es5.d.ts, --, --) )
4545>Base2 : Symbol(Base2, Decl(apparentTypeSubtyping.ts, 10, 1))
4646
4747 x: U;
0 commit comments