// Input
type Foo<T> = T extends ((a) => a is infer R extends string) ? R : never;
// Prettier stable (First format)
type Foo<T> = T extends (a) => a is infer R extends string ? R : never;
// Prettier stable (Second format)
SyntaxError: '?' expected.
// Prettier main
type Foo<T> = T extends ((a) => a is infer R extends string) ? R : never;