1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
=== tests/cases/compiler/conditionalTypeAnyUnion.ts ===
// repro from #52568
type Spec = any extends object ? any : string;
>Spec : Symbol(Spec, Decl(conditionalTypeAnyUnion.ts, 0, 0))
type WithSpec<T extends number> = T
>WithSpec : Symbol(WithSpec, Decl(conditionalTypeAnyUnion.ts, 2, 46))
>T : Symbol(T, Decl(conditionalTypeAnyUnion.ts, 4, 14))
>T : Symbol(T, Decl(conditionalTypeAnyUnion.ts, 4, 14))
type R = WithSpec<Spec> // should not error
>R : Symbol(R, Decl(conditionalTypeAnyUnion.ts, 4, 35))
>WithSpec : Symbol(WithSpec, Decl(conditionalTypeAnyUnion.ts, 2, 46))
>Spec : Symbol(Spec, Decl(conditionalTypeAnyUnion.ts, 0, 0))
|
