37 lines
2 KiB
Plaintext
37 lines
2 KiB
Plaintext
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'.
|
|
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'.
|
|
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'.
|
|
|
|
|
|
==== 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'.
|
|
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'.
|
|
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'.
|
|
}
|
|
}
|
|
} |