Using generic argument that extends something, stops inferring super keys when Exclude is used in addition to keyof and Pick

TypeScript Version: 3.1.0

Search Terms:
keyof extends pick exclude

Code

interface Base {
    base1: number;
    base2: number;
}

class Data<T extends Base> {
   alpha(k:keyof Pick<T, Exclude<keyof T, "base1">>) {   }
    beta(k:keyof Pick<T, keyof T>) {   }
}

function wrapped<T extends Base>() {
    let d = new Data<T>();
    d.alpha("base2"); // Argument of type '"base2"' is not assignable to parameter of type 'Exclude<keyof T, "base1">'. 
    d.beta("base2");  // works
}

Expected behavior:

Both alpha and beta should work.

Actual behavior:

Alpha does not work: ` Argument of type '"base2"' is not assignable to parameter of type 'Exclude<keyof T, "base1">'.

Playground Link:

Playground link

Related Issues:

Inizia riproducendo l'esempio generico keyof/Pick/Exclude nel TypeScript Playground collegato, usando la versione di TypeScript indicata o typescript@next. Traccia il comportamento del controllo dei tipi per alpha e beta; la correzione è completa quando alpha accetta "base2" senza errori mentre beta continua a funzionare.