Symbols in const assertions should be considered unique

TypeScript Version: 3.8.0-dev.20191205

Search Terms:

• const assertion unique symbol
• "unique symbol" "as const"

Code

const prop = Symbol()
const dictionary = {
  prop: Symbol()
}
const sealedDictionary = {
  prop: Symbol()
} as const

class MyClass {
  // Works because "prop" is a unique symbol
  [prop]: 1

  // Does not work because "dictionary.prop" is not a unique symbol
  [dictionary.prop]: 2

  // Does not work because "sealedDictionary.prop" is not a unique symbol,
  // even though it probably should be?
  [sealedDictionary.prop]: 3
}

Expected behavior:

MyClass should probably accept sealedDictionary.prop as a computed property name since it should be considered a unique symbol.

Actual behavior:

TypeScript complains with TS1166:

A computed property name in a class property declaration must refer to an expression whose type is a literal type or a 'unique symbol' type.

Playground Link: Provided Updated (old link seems to be broken in new playground)

Related Issues: —

Inizia con la riproduzione aggiornata in TypeScript Playground e conferma l’errore TS1166 per sealedDictionary.prop nella proprietà di classe calcolata. Traccia il percorso del controllo dei tipi per const assertions e i nomi delle proprietà unique symbol, quindi aggiungi una copertura che mostri che il caso sealedDictionary viene accettato senza modificare il caso dictionary rifiutato.