Computed property names are const contexts

src/compiler/checker.ts

@@ -33488,6 +33488,7 @@ namespace ts {
             const parent = node.parent;
             return isAssertionExpression(parent) && isConstTypeReference(parent.type) ||
                 isJSDocTypeAssertion(parent) && isConstTypeReference(getJSDocTypeAssertionType(parent)) ||
+                isComputedPropertyName(parent) ||
                 (isParenthesizedExpression(parent) || isArrayLiteralExpression(parent) || isSpreadElement(parent)) && isConstContext(parent) ||
                 (isPropertyAssignment(parent) || isShorthandPropertyAssignment(parent) || isTemplateSpan(parent)) && isConstContext(parent.parent);
         }

tests/baselines/reference/computedPropertyNames10_ES5.types

@@ -60,6 +60,6 @@ var v = {
 
     [`hello ${a} bye`]() { }
 >[`hello ${a} bye`] : () => void
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 }

tests/baselines/reference/computedPropertyNames10_ES6.types

@@ -60,6 +60,6 @@ var v = {
 
     [`hello ${a} bye`]() { }
 >[`hello ${a} bye`] : () => void
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 }

tests/baselines/reference/computedPropertyNames11_ES5.types

@@ -70,7 +70,7 @@ var v = {
 
     get [`hello ${a} bye`]() { return 0; }
 >[`hello ${a} bye`] : number
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 >0 : 0
 }

tests/baselines/reference/computedPropertyNames11_ES6.types

@@ -70,7 +70,7 @@ var v = {
 
     get [`hello ${a} bye`]() { return 0; }
 >[`hello ${a} bye`] : number
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 >0 : 0
 }

tests/baselines/reference/computedPropertyNames12_ES5.types

@@ -63,7 +63,7 @@ class C {
 
     static [`hello ${a} bye`] = 0
 >[`hello ${a} bye`] : number
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 >0 : 0
 }

tests/baselines/reference/computedPropertyNames12_ES6.types

@@ -63,7 +63,7 @@ class C {
 
     static [`hello ${a} bye`] = 0
 >[`hello ${a} bye`] : number
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 >0 : 0
 }

tests/baselines/reference/computedPropertyNames13_ES5.types

@@ -59,6 +59,6 @@ class C {
 
     static [`hello ${a} bye`]() { }
 >[`hello ${a} bye`] : () => void
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 }

tests/baselines/reference/computedPropertyNames13_ES6.types

@@ -59,6 +59,6 @@ class C {
 
     static [`hello ${a} bye`]() { }
 >[`hello ${a} bye`] : () => void
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 }

tests/baselines/reference/computedPropertyNames14_ES5.types

@@ -15,7 +15,7 @@ class C {
 
     [[]]() { }
 >[[]] : () => void
->[] : undefined[]
+>[] : readonly []
 
     static [{}]() { }
 >[{}] : () => void

tests/baselines/reference/computedPropertyNames14_ES6.types

@@ -15,7 +15,7 @@ class C {
 
     [[]]() { }
 >[[]] : () => void
->[] : undefined[]
+>[] : readonly []
 
     static [{}]() { }
 >[{}] : () => void

tests/baselines/reference/computedPropertyNames16_ES5.types

@@ -69,7 +69,7 @@ class C {
 
     get [`hello ${a} bye`]() { return 0; }
 >[`hello ${a} bye`] : number
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 >0 : 0
 }

tests/baselines/reference/computedPropertyNames16_ES6.types

@@ -69,7 +69,7 @@ class C {
 
     get [`hello ${a} bye`]() { return 0; }
 >[`hello ${a} bye`] : number
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 >0 : 0
 }

tests/baselines/reference/computedPropertyNames17_ES5.types

@@ -17,7 +17,7 @@ class C {
 
     get [[]]() { return 0; }
 >[[]] : number
->[] : undefined[]
+>[] : readonly []
 >0 : 0
 
     set [{}](v) { }

tests/baselines/reference/computedPropertyNames17_ES6.types

@@ -17,7 +17,7 @@ class C {
 
     get [[]]() { return 0; }
 >[[]] : number
->[] : undefined[]
+>[] : readonly []
 >0 : 0
 
     set [{}](v) { }

tests/baselines/reference/computedPropertyNames3_ES5.types

@@ -22,7 +22,7 @@ class C {
 
     set [[0, 1]](v) { }
 >[[0, 1]] : any
->[0, 1] : number[]
+>[0, 1] : readonly [0, 1]
 >0 : 0
 >1 : 1
 >v : any

tests/baselines/reference/computedPropertyNames3_ES6.types

@@ -22,7 +22,7 @@ class C {
 
     set [[0, 1]](v) { }
 >[[0, 1]] : any
->[0, 1] : number[]
+>[0, 1] : readonly [0, 1]
 >0 : 0
 >1 : 1
 >v : any

tests/baselines/reference/computedPropertyNames4_ES5.types

@@ -70,7 +70,7 @@ var v = {
 
     [`hello ${a} bye`]: 0
 >[`hello ${a} bye`] : number
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 >0 : 0
 }

tests/baselines/reference/computedPropertyNames4_ES6.types

@@ -70,7 +70,7 @@ var v = {
 
     [`hello ${a} bye`]: 0
 >[`hello ${a} bye`] : number
->`hello ${a} bye` : string
+>`hello ${a} bye` : `hello ${any} bye`
 >a : any
 >0 : 0
 }

tests/baselines/reference/computedPropertyNames5_ES5.types

@@ -18,7 +18,7 @@ var v = {
 
     [[]]: 0,
 >[[]] : number
->[] : undefined[]
+>[] : readonly []
 >0 : 0
 
     [{}]: 0,

tests/baselines/reference/computedPropertyNames5_ES6.types

@@ -18,7 +18,7 @@ var v = {
 
     [[]]: 0,
 >[[]] : number
->[] : undefined[]
+>[] : readonly []
 >0 : 0
 
     [{}]: 0,

tests/baselines/reference/constContextTemplateLiteral.errors.txt

@@ -0,0 +1,13 @@
+tests/cases/conformance/expressions/literals/constContextTemplateLiteral.ts(3,24): error TS2418: Type of computed property's value is '{ b: string; }', which is not assignable to type '{ a: any; }'.
+  Object literal may only specify known properties, and 'b' does not exist in type '{ a: any; }'.
+
+
+==== tests/cases/conformance/expressions/literals/constContextTemplateLiteral.ts (1 errors) ====
+    type Person = { id: number }
+    const persons: Record<string, { a: any }> = {
+        [`person-${1}`]: { b: "something" }, // ok, error
+                           ~~~~~~~~~~~~~~
+!!! error TS2418: Type of computed property's value is '{ b: string; }', which is not assignable to type '{ a: any; }'.
+!!! error TS2418:   Object literal may only specify known properties, and 'b' does not exist in type '{ a: any; }'.
+    }
+

tests/baselines/reference/constContextTemplateLiteral.js

@@ -0,0 +1,12 @@
+//// [constContextTemplateLiteral.ts]
+type Person = { id: number }
+const persons: Record<string, { a: any }> = {
+    [`person-${1}`]: { b: "something" }, // ok, error
+}
+
+
+//// [constContextTemplateLiteral.js]
+var _a;
+var persons = (_a = {},
+    _a["person-".concat(1)] = { b: "something" },
+    _a);

tests/baselines/reference/constContextTemplateLiteral.symbols

@@ -0,0 +1,15 @@
+=== tests/cases/conformance/expressions/literals/constContextTemplateLiteral.ts ===
+type Person = { id: number }
+>Person : Symbol(Person, Decl(constContextTemplateLiteral.ts, 0, 0))
+>id : Symbol(id, Decl(constContextTemplateLiteral.ts, 0, 15))
+
+const persons: Record<string, { a: any }> = {
+>persons : Symbol(persons, Decl(constContextTemplateLiteral.ts, 1, 5))
+>Record : Symbol(Record, Decl(lib.es5.d.ts, --, --))
+>a : Symbol(a, Decl(constContextTemplateLiteral.ts, 1, 31))
+
+    [`person-${1}`]: { b: "something" }, // ok, error
+>[`person-${1}`] : Symbol([`person-${1}`], Decl(constContextTemplateLiteral.ts, 1, 45))
+>b : Symbol(b, Decl(constContextTemplateLiteral.ts, 2, 22))
+}
+

tests/baselines/reference/constContextTemplateLiteral.types

@@ -0,0 +1,19 @@
+=== tests/cases/conformance/expressions/literals/constContextTemplateLiteral.ts ===
+type Person = { id: number }
+>Person : Person
+>id : number
+
+const persons: Record<string, { a: any }> = {
+>persons : Record<string, { a: any; }>
+>a : any
+>{    [`person-${1}`]: { b: "something" }, // ok, error} : { "person-1": { b: string; }; }
+
+    [`person-${1}`]: { b: "something" }, // ok, error
+>[`person-${1}`] : { b: string; }
+>`person-${1}` : "person-1"
+>1 : 1
+>{ b: "something" } : { b: string; }
+>b : string
+>"something" : "something"
+}
+

tests/cases/conformance/expressions/literals/constContextTemplateLiteral.ts

@@ -0,0 +1,4 @@
+type Person = { id: number }
+const persons: Record<string, { a: any }> = {
+    [`person-${1}`]: { b: "something" }, // ok, error
+}