Type inference regression due to circular type definition

<!-- Please try to reproduce the issue with the latest published version. It may have already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly --> **TypeScript Version:** 3.8.0-dev.20200115 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** circular type **Code** Replace ```typescript type DeepPartial<T> = T extends Message ? PartialMessage<T> : T; type PartialMessage<T extends Message> = { [K in keyof T]?: DeepPartial<T[K]> }; ``` with ```ts 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](https://www.typescriptlang.org/play/?ts=3.8.0-dev.20200115&ssl=6&ssc=1&pln=1&pc=1#code/C4TwDgpgBAIhFgAoEMBOwCWyA2AeAKgHxQC8AUFJVPlBAB7AQB2AJgM5QCyEbbyA5tAD8UFOizZuvARALEAXBSr4A3GTKhIotJhxS+ggrQbN2XHgYjESUAN5QA2gGkoGJlADWEEAHsAZtQAukLysPBIOhIEzoHEAL5qZADG2Mi85tKCdkqUbMDImElQfqg+ALZG9IysHPoyhAAUwAAWGGyhdYIAwj5MeagArknAPqhyADRQPgBGAFahcAhiunhEAJShNLY5VJSoEMADqO62cVBp1Gq7cTtsAISh-W78V1RlIVAAygPTnRBqN2SqXS31+FhkxmqZj+2V2TAeUCYAzK0wgqAB6noYFGwCgmmgfx6fWAg2Go0qJhqGUs1igTXAEH81JkaygADI6UwIAB3OmskjEfBrRJuRioPzIJLQABiGAg2BYADUcAMIPgGXJYVQSuVQg0AG4LcLLKLrUiCjFkLE4vEM5mCOBsJKoDBgEaoWXy9gASSYGGAmps212DkGTEwZQgADlkJHXO4vL4AvhAgBaD6ehXK7Cq9WQXBR3pRgbYVLTbCyfChgbhjCRmOR2KEMgJdRJXp5L74ABK3qjAHFSHZiqUyg12mElpEcLgnkx+IRWfZ9odjlAAOTrlRQM6t5Id3EsHhJDrgh3Hl1u0aZn1+gN-WnBqgTz49vv98Y7MqhUF-T+AmELhvbNcw1B81F-M9oCAuUsxVNUNUgzIrDUIA) [With circular type definition](https://www.typescriptlang.org/play/?ts=3.8.0-dev.20200115&ssl=1&ssc=1&pln=36…