Add tests

tests/baselines/reference/constantExpressions1.errors.txt

@@ -0,0 +1,41 @@
+constantExpressions1.ts(29,9): error TS2474: const enum member initializers must be constant expressions.
+constantExpressions1.ts(30,9): error TS2474: const enum member initializers must be constant expressions.
+
+
+==== constantExpressions1.ts (2 errors) ====
+    const C00 = "a";
+    const C01 = "b" as const;
+    const C02: "c" = "c";
+    declare const C03: "d";
+    
+    const enum E0 {
+        A = C00,
+        B = C01,
+        C = C02,
+        D = C03,
+    }
+    
+    const C10 = 1;
+    const C11 = 2 as const;
+    const C12: 3 = 3;
+    declare const C13: 4;
+    
+    const enum E1 {
+        A = C10,
+        B = C11,
+        C = C12,
+        D = C13,
+    }
+    
+    const C1: string = "x";
+    const C2: "x" | "y" = "x";
+    
+    const enum EE {
+        A = C1,  // Error
+            ~~
+!!! error TS2474: const enum member initializers must be constant expressions.
+        B = C2,  // Error
+            ~~
+!!! error TS2474: const enum member initializers must be constant expressions.
+    }
+    

tests/baselines/reference/constantExpressions1.symbols

@@ -0,0 +1,87 @@
+//// [tests/cases/compiler/constantExpressions1.ts] ////
+
+=== constantExpressions1.ts ===
+const C00 = "a";
+>C00 : Symbol(C00, Decl(constantExpressions1.ts, 0, 5))
+
+const C01 = "b" as const;
+>C01 : Symbol(C01, Decl(constantExpressions1.ts, 1, 5))
+>const : Symbol(const)
+
+const C02: "c" = "c";
+>C02 : Symbol(C02, Decl(constantExpressions1.ts, 2, 5))
+
+declare const C03: "d";
+>C03 : Symbol(C03, Decl(constantExpressions1.ts, 3, 13))
+
+const enum E0 {
+>E0 : Symbol(E0, Decl(constantExpressions1.ts, 3, 23))
+
+    A = C00,
+>A : Symbol(E0.A, Decl(constantExpressions1.ts, 5, 15))
+>C00 : Symbol(C00, Decl(constantExpressions1.ts, 0, 5))
+
+    B = C01,
+>B : Symbol(E0.B, Decl(constantExpressions1.ts, 6, 12))
+>C01 : Symbol(C01, Decl(constantExpressions1.ts, 1, 5))
+
+    C = C02,
+>C : Symbol(E0.C, Decl(constantExpressions1.ts, 7, 12))
+>C02 : Symbol(C02, Decl(constantExpressions1.ts, 2, 5))
+
+    D = C03,
+>D : Symbol(E0.D, Decl(constantExpressions1.ts, 8, 12))
+>C03 : Symbol(C03, Decl(constantExpressions1.ts, 3, 13))
+}
+
+const C10 = 1;
+>C10 : Symbol(C10, Decl(constantExpressions1.ts, 12, 5))
+
+const C11 = 2 as const;
+>C11 : Symbol(C11, Decl(constantExpressions1.ts, 13, 5))
+>const : Symbol(const)
+
+const C12: 3 = 3;
+>C12 : Symbol(C12, Decl(constantExpressions1.ts, 14, 5))
+
+declare const C13: 4;
+>C13 : Symbol(C13, Decl(constantExpressions1.ts, 15, 13))
+
+const enum E1 {
+>E1 : Symbol(E1, Decl(constantExpressions1.ts, 15, 21))
+
+    A = C10,
+>A : Symbol(E1.A, Decl(constantExpressions1.ts, 17, 15))
+>C10 : Symbol(C10, Decl(constantExpressions1.ts, 12, 5))
+
+    B = C11,
+>B : Symbol(E1.B, Decl(constantExpressions1.ts, 18, 12))
+>C11 : Symbol(C11, Decl(constantExpressions1.ts, 13, 5))
+
+    C = C12,
+>C : Symbol(E1.C, Decl(constantExpressions1.ts, 19, 12))
+>C12 : Symbol(C12, Decl(constantExpressions1.ts, 14, 5))
+
+    D = C13,
+>D : Symbol(E1.D, Decl(constantExpressions1.ts, 20, 12))
+>C13 : Symbol(C13, Decl(constantExpressions1.ts, 15, 13))
+}
+
+const C1: string = "x";
+>C1 : Symbol(C1, Decl(constantExpressions1.ts, 24, 5))
+
+const C2: "x" | "y" = "x";
+>C2 : Symbol(C2, Decl(constantExpressions1.ts, 25, 5))
+
+const enum EE {
+>EE : Symbol(EE, Decl(constantExpressions1.ts, 25, 26))
+
+    A = C1,  // Error
+>A : Symbol(EE.A, Decl(constantExpressions1.ts, 27, 15))
+>C1 : Symbol(C1, Decl(constantExpressions1.ts, 24, 5))
+
+    B = C2,  // Error
+>B : Symbol(EE.B, Decl(constantExpressions1.ts, 28, 11))
+>C2 : Symbol(C2, Decl(constantExpressions1.ts, 25, 5))
+}
+

tests/baselines/reference/constantExpressions1.types

@@ -0,0 +1,138 @@
+//// [tests/cases/compiler/constantExpressions1.ts] ////
+
+=== constantExpressions1.ts ===
+const C00 = "a";
+>C00 : "a"
+>    : ^^^
+>"a" : "a"
+>    : ^^^
+
+const C01 = "b" as const;
+>C01 : "b"
+>    : ^^^
+>"b" as const : "b"
+>             : ^^^
+>"b" : "b"
+>    : ^^^
+
+const C02: "c" = "c";
+>C02 : "c"
+>    : ^^^
+>"c" : "c"
+>    : ^^^
+
+declare const C03: "d";
+>C03 : "d"
+>    : ^^^
+
+const enum E0 {
+>E0 : E0
+>   : ^^
+
+    A = C00,
+>A : E0.A
+>  : ^^^^
+>C00 : "a"
+>    : ^^^
+
+    B = C01,
+>B : E0.B
+>  : ^^^^
+>C01 : "b"
+>    : ^^^
+
+    C = C02,
+>C : E0.C
+>  : ^^^^
+>C02 : "c"
+>    : ^^^
+
+    D = C03,
+>D : E0.D
+>  : ^^^^
+>C03 : "d"
+>    : ^^^
+}
+
+const C10 = 1;
+>C10 : 1
+>    : ^
+>1 : 1
+>  : ^
+
+const C11 = 2 as const;
+>C11 : 2
+>    : ^
+>2 as const : 2
+>           : ^
+>2 : 2
+>  : ^
+
+const C12: 3 = 3;
+>C12 : 3
+>    : ^
+>3 : 3
+>  : ^
+
+declare const C13: 4;
+>C13 : 4
+>    : ^
+
+const enum E1 {
+>E1 : E1
+>   : ^^
+
+    A = C10,
+>A : E1.A
+>  : ^^^^
+>C10 : 1
+>    : ^
+
+    B = C11,
+>B : E1.B
+>  : ^^^^
+>C11 : 2
+>    : ^
+
+    C = C12,
+>C : E1.C
+>  : ^^^^
+>C12 : 3
+>    : ^
+
+    D = C13,
+>D : E1.D
+>  : ^^^^
+>C13 : 4
+>    : ^
+}
+
+const C1: string = "x";
+>C1 : string
+>   : ^^^^^^
+>"x" : "x"
+>    : ^^^
+
+const C2: "x" | "y" = "x";
+>C2 : "x" | "y"
+>   : ^^^^^^^^^
+>"x" : "x"
+>    : ^^^
+
+const enum EE {
+>EE : EE
+>   : ^^
+
+    A = C1,  // Error
+>A : EE.A
+>  : ^^^^
+>C1 : string
+>   : ^^^^^^
+
+    B = C2,  // Error
+>B : EE.B
+>  : ^^^^
+>C2 : "x"
+>   : ^^^
+}
+

tests/cases/compiler/constantExpressions1.ts

@@ -0,0 +1,34 @@
+// @strict: true
+// @noemit: true
+
+const C00 = "a";
+const C01 = "b" as const;
+const C02: "c" = "c";
+declare const C03: "d";
+
+const enum E0 {
+    A = C00,
+    B = C01,
+    C = C02,
+    D = C03,
+}
+
+const C10 = 1;
+const C11 = 2 as const;
+const C12: 3 = 3;
+declare const C13: 4;
+
+const enum E1 {
+    A = C10,
+    B = C11,
+    C = C12,
+    D = C13,
+}
+
+const C1: string = "x";
+const C2: "x" | "y" = "x";
+
+const enum EE {
+    A = C1,  // Error
+    B = C2,  // Error
+}