Union in a computed property allows any assignment to property value

TypeScript Version: 4.0.0-dev.20200518

Search Terms: computed property, union

Code

type Key = 'a' | 'b';

const index1: Record<Key, string> = { a: '', b: 0 }; // Errors as expected, ok
const index2: Record<Key, string> = { a: '', b: '' };

const b: Key = 'b';

const index3: Record<Key, string> = { ...index2, [b]: 0 }; // Errors as expected, ok

declare var k: Key;

// No errors, allowing anything to be assigned to string
const index4: Record<Key, string> = { ...index2, [k]: [] };
const index5: Record<Key, string> = { a: '', b: '', [k]: 0 };

Expected behavior:
Expected error for invalid assignments in index4 and index5.

Actual behavior:
No error, allowing anything to be assigned to string

Playground Link: here

Related Issues:
https://github.com/microsoft/TypeScript/issues/36920: perhaps the computed property is deemed an excess property, though I don't think it should be

まず、提供されている Playground の再現コードを実行し、index4 と index5 の診断を期待されるエラーと比較します。計算プロパティの処理と excess-property checking を調査し、関連する issue #36920 も確認します。完了の条件は、正常な例にリグレッションを発生させずに、無効な代入の両方が拒否されることです。