612c92d603
* Track source and target relationship stack depth seperately, only increase on change in value * Add baselines for test from #43485 * Bail on unwrapping conditional constraints on the source side when the source conditional is already known to be spooling out of control * More usage of isDeeplyNestedType to block _specifically_ conditional recursion on only one side * Negative cases of getNarrowedType that match the exact type should be filtered out, even when generic * Add test and fix for #44404 * Swap to manually specifying left and right recursion * Rename Left -> Source, Right -> Target Co-authored-by: Andrew Branch <andrew@wheream.io>
20 lines
911 B
Plaintext
20 lines
911 B
Plaintext
tests/cases/compiler/conditionalTypeVarianceBigArrayConstraintsPerformance.ts(9,5): error TS2322: Type 'Stuff<U>' is not assignable to type 'Stuff<T>'.
|
|
Type 'U' is not assignable to type 'T'.
|
|
'T' could be instantiated with an arbitrary type which could be unrelated to 'U'.
|
|
|
|
|
|
==== tests/cases/compiler/conditionalTypeVarianceBigArrayConstraintsPerformance.ts (1 errors) ====
|
|
/// <reference path="/.lib/react16.d.ts" />
|
|
|
|
type Stuff<T> =
|
|
T extends keyof JSX.IntrinsicElements
|
|
? JSX.IntrinsicElements[T]
|
|
: any;
|
|
|
|
function F<T, U>(p1: Stuff<T>, p2: Stuff<U>) {
|
|
p1 = p2; // Error
|
|
~~
|
|
!!! error TS2322: Type 'Stuff<U>' is not assignable to type 'Stuff<T>'.
|
|
!!! error TS2322: Type 'U' is not assignable to type 'T'.
|
|
!!! error TS2322: 'T' could be instantiated with an arbitrary type which could be unrelated to 'U'.
|
|
} |