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:

Comienza con la reproducción proporcionada en TypeScript Playground y compara el comportamiento esperado y el real de la asignación mediante desestructuración. El issue no menciona archivos fuente ni tests, así que sigue el flujo de comprobación de tipos para la desestructuración con un valor predeterminado y Partial. Se considera terminado cuando el ejemplo se acepta manteniendo la seguridad de tipos prevista, con cobertura para este caso.