Type inference regression due to circular type definition

TypeScript Version: 3.8.0-dev.20200115

Search Terms:
circular type

Code

Replace

type DeepPartial<T> =
    T extends Message ? PartialMessage<T> :
    T;

type PartialMessage<T extends Message> = { [K in keyof T]?: DeepPartial<T[K]> };

with

type DeepPartial<T> =
    T extends Message ? { [K in keyof T]?: DeepPartial<T[K]> } :
    T;

Expected behavior:

Both works.

Actual behavior:

Type 'typeof SubMessage' is not assignable to type 'FieldValueType<SubMessage>'.
  The types returned by 'from(...)' are incompatible between these types.
    Property 'n' is missing in type 'Message' but required in type 'SubMessage'.(2322)

Playground Link:

Without circular type definition

With circular type definition

Related Issues:

Commencez par reproduire les deux exemples de Playground avec TypeScript 3.8.0-dev.20200115, puis vérifiez si le problème se produit toujours dans la dernière version publiée ou dans typescript@next. Le travail est terminé lorsque les définitions DeepPartial circulaire et non circulaire sont toutes deux vérifiées par le système de types sans l’erreur d’assignabilité signalée.