=== tests/cases/compiler/recursiveConditionalCrash1.ts ===
type C1<T> = [T extends string ? C1<T> : never][0];
>C1 : T extends string ? T extends string ? T extends string ? T extends string ? T extends string ? T extends string ? T extends string ? T extends string ? T extends string ? T extends string ? T extends string ? any : never : never : never : never : never : never : never : never : never : never : never

type C2<T> = [T extends string ? [C2<T>] : never][0];
>C2 : T extends string ? [T extends string ? [T extends string ? [T extends string ? [T extends string ? [T extends string ? [T extends string ? [T extends string ? [T extends string ? [T extends string ? [T extends string ? [any] : never] : never] : never] : never] : never] : never] : never] : never] : never] : never] : never