Add tests for extends constraints for infer

prettier · May 21, 2022 · 5e32328 · 5e32328
1 parent 49414ea
commit 5e32328
Show file tree

Hide file tree

Showing 2 changed files with 41 additions and 0 deletions.
diff --git a/tests/format/misc/typescript-babel-only/__snapshots__/jsfmt.spec.js.snap b/tests/format/misc/typescript-babel-only/__snapshots__/jsfmt.spec.js.snap
@@ -184,6 +184,40 @@ type Foo =
 ================================================================================
 `;
 
+exports[`ts-4.7-infer-extends.ts format 1`] = `
+====================================options=====================================
+parsers: ["babel-ts"]
+printWidth: 80
+                                                                                | printWidth
+=====================================input======================================
+type X3<T> = T extends [infer U extends number] ? MustBeNumber<U> : never;
+type X4<T> = T extends [infer U extends number, infer U extends number] ? MustBeNumber<U> : never;
+type X5<T> = T extends [infer U extends number, infer U] ? MustBeNumber<U> : never;
+type X6<T> = T extends [infer U, infer U extends number] ? MustBeNumber<U> : never;
+type X7<T> = T extends [infer U extends string, infer U extends number] ? U : never;
+type X8<U, T> = T extends infer U extends number ? U : T;
+type X9<U, T> = T extends (infer U extends number ? U : T) ? U : T;
+
+=====================================output=====================================
+type X3<T> = T extends [infer U extends number] ? MustBeNumber<U> : never;
+type X4<T> = T extends [infer U extends number, infer U extends number]
+  ? MustBeNumber<U>
+  : never;
+type X5<T> = T extends [infer U extends number, infer U]
+  ? MustBeNumber<U>
+  : never;
+type X6<T> = T extends [infer U, infer U extends number]
+  ? MustBeNumber<U>
+  : never;
+type X7<T> = T extends [infer U extends string, infer U extends number]
+  ? U
+  : never;
+type X8<U, T> = T extends infer U extends number ? U : T;
+type X9<U, T> = T extends (infer U extends number ? U : T) ? U : T;
+
+================================================================================
+`;
+
 exports[`tuple-labeled-ts.ts format 1`] = `
 ====================================options=====================================
 parsers: ["babel-ts"]

diff --git a/tests/format/misc/typescript-babel-only/ts-4.7-infer-extends.ts b/tests/format/misc/typescript-babel-only/ts-4.7-infer-extends.ts
@@ -0,0 +1,7 @@
+type X3<T> = T extends [infer U extends number] ? MustBeNumber<U> : never;
+type X4<T> = T extends [infer U extends number, infer U extends number] ? MustBeNumber<U> : never;
+type X5<T> = T extends [infer U extends number, infer U] ? MustBeNumber<U> : never;
+type X6<T> = T extends [infer U, infer U extends number] ? MustBeNumber<U> : never;
+type X7<T> = T extends [infer U extends string, infer U extends number] ? U : never;
+type X8<U, T> = T extends infer U extends number ? U : T;
+type X9<U, T> = T extends (infer U extends number ? U : T) ? U : T;