From afec056babb536758eb7cc66bf79cf0eb6b7a15b Mon Sep 17 00:00:00 2001 From: Anders Hejlsberg Date: Wed, 31 Jan 2018 07:48:45 -0800 Subject: [PATCH] Add more error case checks --- tests/cases/conformance/types/conditional/inferTypes1.ts | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/cases/conformance/types/conditional/inferTypes1.ts b/tests/cases/conformance/types/conditional/inferTypes1.ts index 6561ddb6df8..25552a68acf 100644 --- 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 = infer A extends infer B ? infer C : infer D; // Error +type T62 = U extends (infer U)[] ? U : U; // Error