Incomprehensible incompatibility around Partial, Conditional types and Generics.

TypeScript Version: 3.9.0-dev.20200322

Search Terms: partial, conditional types

Code

type SafePartial<T> = T extends {} ? Partial<T> : any;

interface QB<TRecord extends {}> {
  insert(record: SafePartial<TRecord>): void;
}


async function insert1<TRecord extends {}>(qb: QB<TRecord>, record: TRecord) {
  await qb.insert(record);
}

Expected behavior:

The code successfully compiles

Actual behavior:

Following error is observed for qb.insert(record):

Argument of type 'TRecord' is not assignable to parameter of type 'SafePartial<TRecord>'. Type '{}' is not assignable to type 'SafePartial<TRecord>'.

The issue goes away if I use Partial instead of the SafePartial above.

The issue also goes away if a concrete type is used instead of generic type:

interface User {
    id: string;
}

async function insert1(qb: QB<User>, record: User) {
  await qb.insert(record);
}

Playground Link: Playground

Commencez par la reproduction liée dans TypeScript Playground et comparez le cas générique de type conditionnel aux cas fonctionnels de Partial et de types concrets. Suivez la gestion de l'assignabilité du compilateur pour SafePartial et confirmez le comportement avec une reproduction réduite. Le travail est terminé lorsque le code d'origine compile sans affaiblir les types signalés.