Class instance + spread assignment allows wrong type guarantee

[payload]

Consider this example:

let x = new RegExp('');
console.log(x);
x = { ...x };
console.log(x);

The spread operator in the object literal produces a new type different vom the RegExp type of x.
The bad thing happens when the type checker allows the assignment of this object to x of type RegExp.
For example x has non of the methods of RegExp afterwards.
I expect that the compiler rejects assigning a value of wrong type to x.

Compile it with tsc --lib es6,dom foo.ts && node foo.js and get the output:

/(?:)/
{}

playground

[RyanCavanaugh]

See comments in #13148 (comment)

[typescript-bot]

Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.