Can't destruct a Partial<T> into T that uses default values

TypeScript Version: 4.2.0-dev.20201219

Search Terms: Destructuring with partial and default value

Code

type T = {a: number};
const t: Partial<T> = {};
const {a = 10}: T = t;

Expected behavior:

This should be allowed. For each prop with a default value, the undefined type should be Exclude'd from the source object.

Actual behavior:

Throws:

Type 'Partial<T>' is not assignable to type 'T'. Types of property 'a' are incompatible. Type 'number | undefined' is not assignable to type 'number'. Type 'undefined' is not assignable to type 'number'.

Playground Link:
https://www.typescriptlang.org/play?ts=4.2.0-dev.20201219#code/C4TwDgpgBAKlC8UDeBDAXFAdgVwLYCMIAnAXwG4BYAKAGMB7TAZ2CmAwAUUjgBLFAGwA8MAHwJk5avSYtU4gIwAGEhjiJgZIA
Related Issues:

Inizia con la riproduzione fornita in TypeScript Playground e confronta il comportamento previsto e quello effettivo dell'assegnazione tramite destrutturazione. L'issue non indica file sorgente né test, quindi segui il percorso del controllo dei tipi per la destrutturazione con un valore predefinito e Partial. Il lavoro è completo quando l'esempio viene accettato preservando la sicurezza dei tipi prevista, con una copertura per questo caso.