Add test for proper tuple type handling

microsoft · Nov 20, 2016 · d040db4 · d040db4
1 parent cd70f22
commit d040db4
Show file tree

Hide file tree

Showing 8 changed files with 28 additions and 0 deletions.
diff --git a/tests/baselines/reference/intersectionTypeWithLeadingOperator.js b/tests/baselines/reference/intersectionTypeWithLeadingOperator.js
@@ -3,6 +3,8 @@ type A = & string;
 type B =
   & { foo: string }
   & { bar: number };
+
+type C = [& { foo: 1 } & { bar: 2 }, & { foo: 3 } & { bar: 4 }];
 
 
 //// [intersectionTypeWithLeadingOperator.js]
diff --git a/tests/baselines/reference/intersectionTypeWithLeadingOperator.symbols b/tests/baselines/reference/intersectionTypeWithLeadingOperator.symbols
@@ -11,3 +11,10 @@ type B =
   & { bar: number };
 >bar : Symbol(bar, Decl(intersectionTypeWithLeadingOperator.ts, 3, 5))
 
+type C = [& { foo: 1 } & { bar: 2 }, & { foo: 3 } & { bar: 4 }];
+>C : Symbol(C, Decl(intersectionTypeWithLeadingOperator.ts, 3, 20))
+>foo : Symbol(foo, Decl(intersectionTypeWithLeadingOperator.ts, 5, 13))
+>bar : Symbol(bar, Decl(intersectionTypeWithLeadingOperator.ts, 5, 26))
+>foo : Symbol(foo, Decl(intersectionTypeWithLeadingOperator.ts, 5, 40))
+>bar : Symbol(bar, Decl(intersectionTypeWithLeadingOperator.ts, 5, 53))
+
diff --git a/tests/baselines/reference/intersectionTypeWithLeadingOperator.types b/tests/baselines/reference/intersectionTypeWithLeadingOperator.types
@@ -11,3 +11,10 @@ type B =
   & { bar: number };
 >bar : number
 
+type C = [& { foo: 1 } & { bar: 2 }, & { foo: 3 } & { bar: 4 }];
+>C : [{ foo: 1; } & { bar: 2; }, { foo: 3; } & { bar: 4; }]
+>foo : 1
+>bar : 2
+>foo : 3
+>bar : 4
+
diff --git a/tests/baselines/reference/unionTypeWithLeadingOperator.js b/tests/baselines/reference/unionTypeWithLeadingOperator.js
@@ -3,6 +3,8 @@ type A = | string;
 type B =
   | { type: "INCREMENT" }
   | { type: "DECREMENT" };
+
+type C = [| 0 | 1, | "foo" | "bar"];
 
 
 //// [unionTypeWithLeadingOperator.js]
diff --git a/tests/baselines/reference/unionTypeWithLeadingOperator.symbols b/tests/baselines/reference/unionTypeWithLeadingOperator.symbols
@@ -11,3 +11,6 @@ type B =
   | { type: "DECREMENT" };
 >type : Symbol(type, Decl(unionTypeWithLeadingOperator.ts, 3, 5))
 
+type C = [| 0 | 1, | "foo" | "bar"];
+>C : Symbol(C, Decl(unionTypeWithLeadingOperator.ts, 3, 26))
+
diff --git a/tests/baselines/reference/unionTypeWithLeadingOperator.types b/tests/baselines/reference/unionTypeWithLeadingOperator.types
@@ -11,3 +11,6 @@ type B =
   | { type: "DECREMENT" };
 >type : "DECREMENT"
 
+type C = [| 0 | 1, | "foo" | "bar"];
+>C : [0 | 1, "foo" | "bar"]
+
diff --git a/tests/cases/compiler/intersectionTypeWithLeadingOperator.ts b/tests/cases/compiler/intersectionTypeWithLeadingOperator.ts
@@ -2,3 +2,5 @@ type A = & string;
 type B =
   & { foo: string }
   & { bar: number };
+
+type C = [& { foo: 1 } & { bar: 2 }, & { foo: 3 } & { bar: 4 }];
diff --git a/tests/cases/compiler/unionTypeWithLeadingOperator.ts b/tests/cases/compiler/unionTypeWithLeadingOperator.ts
@@ -2,3 +2,5 @@ type A = | string;
 type B =
   | { type: "INCREMENT" }
   | { type: "DECREMENT" };
+
+type C = [| 0 | 1, | "foo" | "bar"];