No excess property checks when dealing with tagged unions

[DanielRosenwasser]

Version: 2.1.4

interface None {
    hasValue: false;
}

interface Some {
    hasValue: true;
    value: any;
}

var x: None | Some = {
    hasValue: false,
    value: [],
}

Expected: Excess property error on value in the object literal.
Actual: No error.

[mhegazy]

We will need a proposal for this, since this has to take into consideration the discriminant property in the union and filter on this.

Just ran into this.

interface A {
    type: "A";
    data: { b: boolean };
}

interface B {
    type: "B";
    data: { n: number };
};

const x: A | B = {
    type: "B",
    data: { n: 1, excess: 2 }
};