diff --git a/tests/baselines/reference/inferTypes1.errors.txt b/tests/baselines/reference/inferTypes1.errors.txt index cd6e750996f..01907bdc95b 100644 --- a/tests/baselines/reference/inferTypes1.errors.txt +++ b/tests/baselines/reference/inferTypes1.errors.txt @@ -15,15 +15,12 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(75,15): error TS2304: C tests/cases/conformance/types/conditional/inferTypes1.ts(75,15): error TS4081: Exported type alias 'T62' has or is using private name 'U'. tests/cases/conformance/types/conditional/inferTypes1.ts(75,43): error TS2304: Cannot find name 'U'. tests/cases/conformance/types/conditional/inferTypes1.ts(75,43): error TS4081: Exported type alias 'T62' has or is using private name 'U'. -tests/cases/conformance/types/conditional/inferTypes1.ts(76,26): error TS1338: 'infer' declarations are only permitted in the 'extends' clause of a conditional type. -tests/cases/conformance/types/conditional/inferTypes1.ts(76,52): error TS1338: 'infer' declarations are only permitted in the 'extends' clause of a conditional type. -tests/cases/conformance/types/conditional/inferTypes1.ts(76,62): error TS1338: 'infer' declarations are only permitted in the 'extends' clause of a conditional type. tests/cases/conformance/types/conditional/inferTypes1.ts(82,44): error TS2344: Type 'U' does not satisfy the constraint 'string'. Type 'number' is not assignable to type 'string'. tests/cases/conformance/types/conditional/inferTypes1.ts(144,40): error TS2322: Type 'T' is not assignable to type 'string'. -==== tests/cases/conformance/types/conditional/inferTypes1.ts (19 errors) ==== +==== tests/cases/conformance/types/conditional/inferTypes1.ts (16 errors) ==== type Unpacked = T extends (infer U)[] ? U : T extends (...args: any[]) => infer U ? U : @@ -131,12 +128,6 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(144,40): error TS2322: ~ !!! error TS4081: Exported type alias 'T62' has or is using private name 'U'. type T63 = T extends (infer A extends infer B ? infer C : infer D) ? string : number; - ~~~~~~~ -!!! error TS1338: 'infer' declarations are only permitted in the 'extends' clause of a conditional type. - ~~~~~~~ -!!! error TS1338: 'infer' declarations are only permitted in the 'extends' clause of a conditional type. - ~~~~~~~ -!!! error TS1338: 'infer' declarations are only permitted in the 'extends' clause of a conditional type. type T70 = { x: T }; type T71 = T extends T70 ? T70 : never;