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

Bắt đầu với bản tái hiện TypeScript Playground được liên kết và so sánh trường hợp kiểu điều kiện generic với các trường hợp Partial và kiểu cụ thể đang hoạt động. Theo dõi cách compiler xử lý khả năng gán cho SafePartial và xác nhận hành vi bằng một bản tái hiện rút gọn. Hoàn thành khi mã gốc biên dịch được mà không làm yếu các kiểu đã báo cáo.