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.

リンクされた TypeScript Playground の再現コードから始め、数値の computed property と string の computed property を、object spread がある場合とない場合で比較します。オブジェクトリテラルの type-checking の動作を追跡し、数値プロパティの場合はエラーが報告される一方で、他の例は期待どおりの動作を維持することを確認します。