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
|
tests/cases/compiler/genericConstraint2.ts(11,7): error TS2420: Class 'ComparableString' incorrectly implements interface 'Comparable<string>'.
Property 'comparer' is missing in type 'ComparableString' but required in type 'Comparable<string>'.
tests/cases/compiler/genericConstraint2.ts(21,17): error TS2344: Type 'ComparableString' does not satisfy the constraint 'Comparable<ComparableString>'.
Property 'comparer' is missing in type 'ComparableString' but required in type 'Comparable<ComparableString>'.
==== tests/cases/compiler/genericConstraint2.ts (2 errors) ====
interface Comparable<T> {
comparer(other: T): number;
}
function compare<T extends Comparable<T>>(x: T, y: T): number {
if (x == null) return y == null ? 0 : -1;
if (y == null) return 1;
return x.comparer(y);
}
class ComparableString implements Comparable<string>{
~~~~~~~~~~~~~~~~
!!! error TS2420: Class 'ComparableString' incorrectly implements interface 'Comparable<string>'.
!!! error TS2420: Property 'comparer' is missing in type 'ComparableString' but required in type 'Comparable<string>'.
!!! related TS2728 tests/cases/compiler/genericConstraint2.ts:2:5: 'comparer' is declared here.
constructor(public currentValue: string) { }
localeCompare(other) {
return 0;
}
}
var a = new ComparableString("a");
var b = new ComparableString("b");
var c = compare<ComparableString>(a, b);
~~~~~~~~~~~~~~~~
!!! error TS2344: Type 'ComparableString' does not satisfy the constraint 'Comparable<ComparableString>'.
!!! error TS2344: Property 'comparer' is missing in type 'ComparableString' but required in type 'Comparable<ComparableString>'.
!!! related TS2728 tests/cases/compiler/genericConstraint2.ts:2:5: 'comparer' is declared here.
|
