Suggestion: perform excess property checks when spreading an inline object literal

TypeScript Version: 3.9.2

Search Terms:

Code

declare const someCondition: boolean;

type MyObject = { foo: number; bar?: number };

const a: MyObject = {
  foo: 1,
  bar: 2,
  // ✅ Error because `invalid` is an excess property
  invalid: 3,
};

const b: MyObject = {
  foo: 1,
  ...(someCondition
    ? {
        bar: 2,
        // ❌ `invalid` is an excess property, but we don't get an error here
        invalid: 3,
      }
    : {}),
};

In the example above, I only want to include specific properties when a condition is met. That's the only reason I'm using spread here.

I understand that TypeScript only performs excess property checks inside of object literals. Currently this does not include inline object literals which are being spread inside of another object literal.

In my experience this is a very common code pattern so it would be great if TypeScript handled this.

Expected behavior:

An error

Actual behavior:

No error

Playground Link:

Related Issues:

Beginne damit, das bereitgestellte TypeScript-3.9.2-Beispiel zu reproduzieren und die direkte Zuweisung eines Objekt-Literals mit dem Fall eines bedingten Spreads zu vergleichen. Untersuche die Excess-Property-Prüfung des Compilers für Inline-Objekt-Literale, die in Spreads verwendet werden. Als erledigt gilt die Aufgabe, wenn die gezeigte ungültige Eigenschaft im Spread-Fall einen Fehler erzeugt, ohne gültige bedingte Spreads zu beeinträchtigen.