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:

Inizia riproducendo i due esempi di Playground con TypeScript 3.8.0-dev.20200115, quindi verifica se il problema si verifica ancora nell'ultima versione pubblicata o in typescript@next. Il lavoro è completato quando entrambe le definizioni DeepPartial, circolare e non circolare, superano il controllo dei tipi senza l'errore di assegnabilità segnalato.