1 2 3 4 5 6 7 8 9 10 11 12 13
|
//// [tests/cases/compiler/curiousNestedConditionalEvaluationResult.ts] ////
=== curiousNestedConditionalEvaluationResult.ts ===
// regression test for #43123
type Hmm = [0] extends [infer T, any?] ?
>Hmm : Symbol(Hmm, Decl(curiousNestedConditionalEvaluationResult.ts, 0, 0))
>T : Symbol(T, Decl(curiousNestedConditionalEvaluationResult.ts, 1, 29))
[T, [0] extends [T] ? true : false]
>T : Symbol(T, Decl(curiousNestedConditionalEvaluationResult.ts, 1, 29))
>T : Symbol(T, Decl(curiousNestedConditionalEvaluationResult.ts, 1, 29))
: never
|