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
50
51
52
53
54
55
56
57
58
59
60
61
|
tests/cases/compiler/typeParameterDiamond3.ts(8,13): error TS2322: Type 'T | U' is not assignable to type 'Top'.
'Top' could be instantiated with an arbitrary type which could be unrelated to 'T | U'.
Type 'T' is not assignable to type 'Top'.
'Top' could be instantiated with an arbitrary type which could be unrelated to 'T'.
tests/cases/compiler/typeParameterDiamond3.ts(9,13): error TS2322: Type 'Bottom' is not assignable to type 'T | U'.
Type 'Top | T | U' is not assignable to type 'T | U'.
Type 'Top' is not assignable to type 'T | U'.
Type 'Top' is not assignable to type 'U'.
'U' could be instantiated with an arbitrary type which could be unrelated to 'Top'.
Type 'Bottom' is not assignable to type 'U'.
'U' could be instantiated with an arbitrary type which could be unrelated to 'Bottom'.
Type 'Top | T | U' is not assignable to type 'U'.
'U' could be instantiated with an arbitrary type which could be unrelated to 'Top | T | U'.
Type 'Top' is not assignable to type 'U'.
'U' could be instantiated with an arbitrary type which could be unrelated to 'Top'.
tests/cases/compiler/typeParameterDiamond3.ts(10,13): error TS2322: Type 'Bottom' is not assignable to type 'Top'.
'Top' could be instantiated with an arbitrary type which could be unrelated to 'Bottom'.
Type 'Top | T | U' is not assignable to type 'Top'.
'Top' could be instantiated with an arbitrary type which could be unrelated to 'Top | T | U'.
Type 'T' is not assignable to type 'Top'.
'Top' could be instantiated with an arbitrary type which could be unrelated to 'T'.
==== tests/cases/compiler/typeParameterDiamond3.ts (3 errors) ====
function diamondTop<Top>() {
function diamondMiddle<T, U>() {
function diamondBottom<Bottom extends Top | T | U>() {
var top: Top;
var middle: T | U;
var bottom: Bottom;
top = middle;
~~~
!!! error TS2322: Type 'T | U' is not assignable to type 'Top'.
!!! error TS2322: 'Top' could be instantiated with an arbitrary type which could be unrelated to 'T | U'.
!!! error TS2322: Type 'T' is not assignable to type 'Top'.
!!! error TS2322: 'Top' could be instantiated with an arbitrary type which could be unrelated to 'T'.
middle = bottom;
~~~~~~
!!! error TS2322: Type 'Bottom' is not assignable to type 'T | U'.
!!! error TS2322: Type 'Top | T | U' is not assignable to type 'T | U'.
!!! error TS2322: Type 'Top' is not assignable to type 'T | U'.
!!! error TS2322: Type 'Top' is not assignable to type 'U'.
!!! error TS2322: 'U' could be instantiated with an arbitrary type which could be unrelated to 'Top'.
!!! error TS2322: Type 'Bottom' is not assignable to type 'U'.
!!! error TS2322: 'U' could be instantiated with an arbitrary type which could be unrelated to 'Bottom'.
!!! error TS2322: Type 'Top | T | U' is not assignable to type 'U'.
!!! error TS2322: 'U' could be instantiated with an arbitrary type which could be unrelated to 'Top | T | U'.
!!! error TS2322: Type 'Top' is not assignable to type 'U'.
!!! error TS2322: 'U' could be instantiated with an arbitrary type which could be unrelated to 'Top'.
top = bottom;
~~~
!!! error TS2322: Type 'Bottom' is not assignable to type 'Top'.
!!! error TS2322: 'Top' could be instantiated with an arbitrary type which could be unrelated to 'Bottom'.
!!! error TS2322: Type 'Top | T | U' is not assignable to type 'Top'.
!!! error TS2322: 'Top' could be instantiated with an arbitrary type which could be unrelated to 'Top | T | U'.
!!! error TS2322: Type 'T' is not assignable to type 'Top'.
!!! error TS2322: 'Top' could be instantiated with an arbitrary type which could be unrelated to 'T'.
}
}
}
|
