Add tests

microsoft · Feb 1, 2023 · a84ac81 · a84ac81
1 parent 340dae5
commit a84ac81
Show file tree

Hide file tree

Showing 4 changed files with 745 additions and 0 deletions.
diff --git a/tests/baselines/reference/computedEnumTypeWidening.js b/tests/baselines/reference/computedEnumTypeWidening.js
@@ -0,0 +1,157 @@
+//// [computedEnumTypeWidening.ts]
+declare function computed(x: number): number;
+
+enum E {
+    A = computed(0),
+    B = computed(1),
+    C = computed(2),
+    D = computed(3),
+}
+
+function f1() {
+    const c1 = E.B;  // Fresh E.B
+    let v1 = c1;  // E
+    const c2 = c1;  // Fresh E.B
+    let v2 = c2;  // E
+    const c3: E.B = E.B;  // E.B
+    let v3 = c3;  // E.B
+    const c4: E.B = c1;  // E.B
+    let v4 = c4;  // E.B
+}
+
+function f2(cond: boolean) {
+    const c1 = cond ? E.A : E.B;  // Fresh E.A | fresh E.B
+    const c2: E.A | E.B = c1;  // E.A | E.B
+    const c3 = cond ? c1 : c2;  // E.A | E.B
+    const c4 = cond ? c3 : E.C;  // E.A | E.B | fresh E.C
+    const c5: E.A | E.B | E.C = c4; // E.A | E.B | E.C
+    let v1 = c1;  // E
+    let v2 = c2;  // E.A | E.B
+    let v3 = c3;  // E.A | E.B
+    let v4 = c4;  // E
+    let v5 = c5;  // E.A | E.B | E.C
+}
+
+function f3() {
+    const c1 = E.B;
+    let v1 = c1;  // E
+    const c2: E.B = E.B;
+    let v2 = c2;  // E.B
+    const c3 = E.B as E.B;
+    let v3 = c3;  // E.B
+    const c4 = <E.B>E.B;
+    let v4 = c4;  // E.B
+    const c5 = E.B as const;
+    let v5 = c5;  // E.B
+}
+
+declare enum E2 { A, B, C, D }
+
+function f4() {
+    const c1 = E2.B;  // Fresh E2.B
+    let v1 = E.B;  // E2
+}
+
+// Repro from #52531
+
+enum MyEnum { A, B, C }
+
+let val1 = MyEnum.A;
+val1 = MyEnum.B;
+
+declare enum MyDeclaredEnum { A, B, C }
+
+let val2 = MyDeclaredEnum.A;
+val2 = MyDeclaredEnum.B;
+
+
+//// [computedEnumTypeWidening.js]
+"use strict";
+var E;
+(function (E) {
+    E[E["A"] = computed(0)] = "A";
+    E[E["B"] = computed(1)] = "B";
+    E[E["C"] = computed(2)] = "C";
+    E[E["D"] = computed(3)] = "D";
+})(E || (E = {}));
+function f1() {
+    var c1 = E.B; // Fresh E.B
+    var v1 = c1; // E
+    var c2 = c1; // Fresh E.B
+    var v2 = c2; // E
+    var c3 = E.B; // E.B
+    var v3 = c3; // E.B
+    var c4 = c1; // E.B
+    var v4 = c4; // E.B
+}
+function f2(cond) {
+    var c1 = cond ? E.A : E.B; // Fresh E.A | fresh E.B
+    var c2 = c1; // E.A | E.B
+    var c3 = cond ? c1 : c2; // E.A | E.B
+    var c4 = cond ? c3 : E.C; // E.A | E.B | fresh E.C
+    var c5 = c4; // E.A | E.B | E.C
+    var v1 = c1; // E
+    var v2 = c2; // E.A | E.B
+    var v3 = c3; // E.A | E.B
+    var v4 = c4; // E
+    var v5 = c5; // E.A | E.B | E.C
+}
+function f3() {
+    var c1 = E.B;
+    var v1 = c1; // E
+    var c2 = E.B;
+    var v2 = c2; // E.B
+    var c3 = E.B;
+    var v3 = c3; // E.B
+    var c4 = E.B;
+    var v4 = c4; // E.B
+    var c5 = E.B;
+    var v5 = c5; // E.B
+}
+function f4() {
+    var c1 = E2.B; // Fresh E2.B
+    var v1 = E.B; // E2
+}
+// Repro from #52531
+var MyEnum;
+(function (MyEnum) {
+    MyEnum[MyEnum["A"] = 0] = "A";
+    MyEnum[MyEnum["B"] = 1] = "B";
+    MyEnum[MyEnum["C"] = 2] = "C";
+})(MyEnum || (MyEnum = {}));
+var val1 = MyEnum.A;
+val1 = MyEnum.B;
+var val2 = MyDeclaredEnum.A;
+val2 = MyDeclaredEnum.B;
+
+
+//// [computedEnumTypeWidening.d.ts]
+declare function computed(x: number): number;
+declare enum E {
+    A,
+    B,
+    C,
+    D
+}
+declare function f1(): void;
+declare function f2(cond: boolean): void;
+declare function f3(): void;
+declare enum E2 {
+    A,
+    B,
+    C,
+    D
+}
+declare function f4(): void;
+declare enum MyEnum {
+    A = 0,
+    B = 1,
+    C = 2
+}
+declare let val1: MyEnum;
+declare enum MyDeclaredEnum {
+    A,
+    B,
+    C
+}
+declare let val2: MyDeclaredEnum;