Wrong value type is accepted when key is accessed through an object

TypeScript Version: 4.3.2

Search Terms:

Code

enum TheKeys {
    k1 = 'k1',
    k2 = 'k2',
}

const someObj = { someProp: TheKeys.k1 }

const a: { [k in TheKeys]?: { prop: string }} = { [someObj.someProp]: 1 } // no error, but should be
const b: { [k in TheKeys]?: { prop: string }} = { [TheKeys.k1]: 1 } // error as expected

Expected behavior:
(To my understanding) the type error that's generated for b should be generated for a as well.

Actual behavior:
No error is generated for 'a'.

Playground Link:
https://www.typescriptlang.org/play?ts=4.2.3#code/KYOwrgtgBAKgFsA0sAngZygbwFBT1AawEYoBeKAcmIoBpd8CAmMyp27AX22wGMB7EGgAuUNHwjAA8gCMAVi0yjxwAAoAnPgAcAXLATJ0AOmJQuvAcKgBDXYoDaBKAEsQepKjQBdAPy2omjR1RITUXAHNTDgUoOzEJGVlDONVAz10SKIB6TKgQPihgNQ01GihpMBE0OD4wABsAEzLgc0ERaT8HZ1d4d3QfPwCtXWFQkAiOKPJ7HoM0YyI0qAyobIKivjVrDGAAD01gHiFgeqA

Related Issues:
None that I know of.

Beginne damit, das Beispiel im verlinkten TypeScript Playground mit den gemeldeten TypeScript-Versionen zu reproduzieren. Untersuche, wie berechnete Eigenschaftsschlüssel aus Objekteigenschaften anhand der Wertanforderungen von mapped types geprüft werden; abgeschlossen ist dies, wenn das a-Beispiel denselben Typfehler wie b meldet und das Verhalten durch einen Regressionstest abgedeckt ist.