Fix missing constraints for parenthesized infer T

[uhyo]

Fixes #30502.

This bug was one of the causes of the recent release of Prettier 2.1.1 😄

Example

type F1 = (num: [number])=>void;
type IsNumber<T extends number> = T;

type T1 = F1 extends (...args: (infer T)) => void ? T : never;
type T2 = F1 extends (args: [...(infer T)]) => void ? T : never;
type T3<T> = T extends IsNumber<(infer N)> ? true : false;

Current Behavior

test.ts:5:23 - error TS2370: A rest parameter must be of an array type.

5 type T1 = F1 extends (...args: (infer T)) => void ? T : never;
                        ~~~~~~~~~~~~~~~~~~

test.ts:7:30 - error TS2574: A rest element type must be an array type.

7 type T2 = F1 extends (args: [...(infer T)]) => void ? T : never;
                               ~~~~~~~~~~~~

test.ts:8:33 - error TS2344: Type 'N' does not satisfy the constraint 'number'.

8 type T3<T> = T extends IsNumber<(infer N)> ? true : false;
                                  ~~~~~~~~~


Found 3 errors.

New Behavior

No errors.