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.

Comienza reproduciendo el ejemplo del TypeScript Playground enlazado con las versiones de TypeScript indicadas. Investiga cómo se comprueban las claves de propiedad calculadas a partir de propiedades de objetos frente a los requisitos de valor de los mapped types; se considerará terminado cuando el ejemplo a informe del mismo error de tipo que b y el comportamiento esté cubierto por una prueba de regresión.