Exclude<keyof T, 'x'> should be assignable to Exclude<Exclude<keyof T, 'x'>, 'x'>

TypeScript Version: 3.8.3

Search Terms:

• type Exclude keyof is not assignable to type Exclude Exclude keyof
• exclude idempotent

Code

const f = <T>(arg: Omit<T, 'field'>) => {
    const a = { ...arg, field: 'value' };
    const { field, ...b } = a;
    const c: Omit<T, 'field'> = a;
    const d: Omit<T, 'field'> = b;
    return { c, d };
};

Expected behavior:
Code compiles.

Actual behavior:
Compilation error on d initialization (but not on c initialization):

tmp.ts:5:11 - error TS2322: Type 'Pick<Pick<T, Exclude<keyof T, "field">> & { field: string; }, Exclude<Exclude<keyof T, "field">, "field">>' is not assignable to type 'Pick<T, Exclude<keyof T, "field">>'.
  Type 'Exclude<keyof T, "field">' is not assignable to type 'Exclude<Exclude<keyof T, "field">, "field">'.
    Type 'keyof T' is not assignable to type 'Exclude<keyof T, "field">'.

5     const d: Omit<T, 'field'> = b;
            ~


Found 1 error.

Playground Link: Playground Link

Related Issues: I did not find other related issues.

Reproduisez l’exemple générique Omit/Exclude dans le TypeScript Playground lié en utilisant le comportement signalé de TypeScript 3.8.3, puis comparez-le avec la dernière version nightly. Suivez le chemin de vérification des types pour l’affectation qui échoue afin de déterminer pourquoi le Exclude imbriqué est rejeté ; le travail est considéré comme terminé lorsque l’exemple se compile et qu’un test de régression couvre ce cas.