Branded string literals revert to `string` in some cases

🔎 Search Terms

If I create a branded string literal it seems to respect the string literal in the basic case of assigning to a property, however it loses this information and just reverts to string when assigning to a property or in a template string.

It makes sense that the brand object needs to be dropped in these cases, but rather than converting to string, it should convert to the narrower literal type.

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about branded string

⏯ Playground Link

https://www.typescriptlang.org/play/?#code/C4TwDgpgBAsiAyBLYEBOBDANgHgMpQgA8UA7AEwGcoLhVESBzAPigF4p8AyKAbwH0ARhnIAuXgF9xAbgBQAYwD2JGlHRsoAcnQbVVOEhQYcWjU1nylKwmJPr0UqAHpHUAO4LUAawoBCC8uAoEBttdQADABIedHEwh2coADN0RExffxUALzFosRIAVwBbATRxdR4AbXQAXTEADjKE5NTfIA

💻 Code

type MyLiteral<S extends string> = S & {_brand: {}};
const a = 'a' as MyLiteral<'a'>;

const x: 'a' = a; // works!
const y: 'a' = `${a}`; // fails!
const z: {a: number} = {[a]: 8} // fails!

🙁 Actual behavior

For y and z, the types don't match because a is converted to string rather than 'a'

🙂 Expected behavior

The types should match in all 3 cases, x, y, z

Additional information about the issue

No response

Beginne mit dem verlinkten TypeScript Playground und reproduziere die drei Zuweisungen, die das branded literal betreffen. Verfolge die Typprüfung für die Fälle mit Template-String und berechneten Eigenschaften und vergleiche sie mit der direkten Zuweisung. Als erledigt gilt die Aufgabe, wenn sowohl y als auch z die erwarteten engeren Literaltypen akzeptieren, ohne das bestehende Verhalten zu verschlechtern.