Add more error case checks

2026-05-15 12:51:30 -05:00 · 2018-01-31 07:48:45 -08:00
parent 1275a20ebe
commit afec056bab
1 changed files with 4 additions and 0 deletions
--- a/tests/cases/conformance/types/conditional/inferTypes1.ts
+++ b/tests/cases/conformance/types/conditional/inferTypes1.ts
@@ -69,3 +69,7 @@ type T51 = X3<{ a: (x: string) => void }>;  // never
 type T52 = X3<{ a: (x: string) => void, b: (x: string) => void }>;  // string
 type T53 = X3<{ a: (x: number) => void, b: (x: string) => void }>;  // string & number
 type T54 = X3<{ a: (x: number) => void, b: () => void }>;  // number
+
+type T60 = infer U;  // Error
+type T61<T> = infer A extends infer B ? infer C : infer D;  // Error
+type T62<T> = U extends (infer U)[] ? U : U;  // Error