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:

Beginne damit, die beiden Playground-Beispiele mit TypeScript 3.8.0-dev.20200115 zu reproduzieren, und prüfe anschließend, ob das Problem in der neuesten veröffentlichten Version oder in typescript@next weiterhin auftritt. Als abgeschlossen gilt die Aufgabe, wenn sowohl die zirkulären als auch die nicht zirkulären DeepPartial-Definitionen ohne den gemeldeten Zuweisbarkeitsfehler typgeprüft werden.