Fix formatting of conditional types

[Priyantha Lankapura (lankaapura)]

Fixes #21716, pls review and let me know if there any changes required.

[Mohamed Hegazy (mhegazy)]

thanks!

[Mohamed Hegazy (mhegazy)]

Do you wana get the support for infer as well.. e.g.:

type C<T> = T extends Array<   infer     U  >? U : T;

[Priyantha Lankapura (lankaapura)]

Mohamed Hegazy (@mhegazy) I've created a test and it seems this is not related to conditional type formatting. The reason is there are no infer formatting rules defined yet.

How do I proceed? Do you want me to update this PR or are you going to create a new issue?

Code     : "type C<  T  >   =   T   extends   Array   <   infer     U  >   ;"
Expected : "type C<T> = T extends Array<infer U>;"
Actual   : "type C<T> = T extends Array<infer     U>   ;"

Code     : "type C<  T  >   =   T   extends   Array   <   infer     U  >  ? U : T;"
Expected : "type C<T> = T extends Array<infer U> ? U : T;"
Actual   : "type C<T> = T extends Array<infer     U> ? U : T;"

Do you know where can I find more details about infer keyword and examples?

[Mohamed Hegazy (mhegazy)]

it seems this is not related to conditional type formatting.

that is correct. the new keyword was added with conditional types, and is only allowed within the extends clause of a conditional type.

The reason is there are no infer formatting rules defined yet.

that is correct

How do I proceed? Do you want me to update this PR or are you going to create a new issue?

If you are interested you can just send a new PR for infer formatting.

Do you know where can I find more details about infer keyword and examples?

Here is the PR that added it: #21496