Destructuring assignment doesn't check assignability

[falsandtru]

A value being destructed by [] must be iterable.
A value being destructed by {} must be non-nullable.

TypeScript Version: master

Search Terms:

Code

const [] = {}; // should be error
const {} = undefined; // error correctly
(([]) => 0)({}); // should be error
(({}) => 0)(undefined); // should be error

Expected behavior:

Actual behavior:

Playground Link:

Related Issues:

[Kingwl]

some case

function foo({}: undefined) {
    return 0
}
function bar([]: {}) {
    return 0
}

const { }: undefined = 1
const []: {} = {}

[Kingwl]

#20873