18 lines
No EOL
600 B
Text
18 lines
No EOL
600 B
Text
==== tests/cases/compiler/genericDerivedTypeWithSpecializedBase2.ts (1 errors) ====
|
|
class A<T extends { length: number }> {
|
|
x: T;
|
|
}
|
|
|
|
class B<U> extends A<string> {
|
|
y: U;
|
|
}
|
|
|
|
var x: A<{ length: number; foo: number }>;
|
|
var y: B<number>;
|
|
x = y; // error
|
|
~
|
|
!!! Type 'B<number>' is not assignable to type 'A<{ length: number; foo: number; }>':
|
|
!!! Types of property 'x' are incompatible:
|
|
!!! Type 'string' is not assignable to type '{ length: number; foo: number; }':
|
|
!!! Property 'foo' is missing in type 'String'.
|
|
|