Type is not checked when using object spread and computed property of type `number`

Bug Report

🔎 Search Terms

spread computed property number reduce

🕗 Version & Regression Information

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

⏯ Playground Link

Playground link with relevant code

💻 Code

declare const id: number;

type Acc = { [key: string]: number };
declare const acc: Acc;

// Expected error, but got none. ❌
const acc2: Acc = {
    ...acc,
    [id]: 'invalid',
};

If we change the type of the computed property id from number to string, it works as expected (we get an error).

declare const id: string;

type Acc = { [key: string]: number };
declare const acc: Acc;

// Expected error, and got none. ✅
const acc2: Acc = {
    ...acc,
    [id]: 'invalid',
};

Alternatively, if we remove the spread of acc it works as expected:

declare const id: number;

type Acc = { [key: string]: number };
// declare const acc: Acc;

// Expected error, and got none. ✅
const acc2: Acc = {
    [id]: 'invalid',
};

My workaround for now is to convert the type before it's used as a computed property:

declare const id: number;

type Acc = { [key: string]: number };
declare const acc: Acc;

// Expected error, and got none. ✅
const acc2: Acc = {
    ...acc,
    [id.toString()]: 'invalid',
};

🙁 Actual behavior

See code comments above.

🙂 Expected behavior

See code comments above.

Comienza con la reproducción enlazada en TypeScript Playground y compara los casos usando una propiedad calculada numérica frente a una de tipo string, con y sin el object spread. Rastrea el comportamiento de comprobación de tipos para el literal de objeto y verifica que el caso de la propiedad numérica informe de un error, mientras que los demás ejemplos mantienen su comportamiento esperado.