Type inference in index type assignment is skipped

<!-- 🚨 STOP 🚨 𝗦𝗧𝗢𝗣 🚨 𝑺𝑻𝑶𝑷 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- 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.3 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** index indexed type assignment initialize initializer initialization inference object narrow narrowing assertion **Code** ```ts type One = { name: string; }; type Many = Array<One>; type OneOrMany = One | Many; var one: OneOrMany = { name: "sam" }; one.name = "pat" var many: OneOrMany = [{ name: "sam" },{ name: "ash" }]; many[0].name = "pat" // all is well here interface OOMDict { [key: string]: OneOrMany; } var oomdict2: OOMDict = {}; oomdict2.one = { name: "sam" }; oomdict2.one.name = "pat"; oomdict2.many = [{ name: "sam" }, { name: "ash" }]; oomdict2.many[0].name = "pat"; // all is well here // testing resolution within an index type initializer var oomdict: OOMDict = { one: { name: "sam" }, many: [{ name: "sam" }, { name: "ash" }] }; oomdict.one.name = "pat"; // ERROR: Property 'name' does not exist on type 'OneOrMany'. // ERROR: Property 'name' does not exist on type 'Many'.(2339) oomdict.many[0].name = "pat"; // ERROR: Element implicitly has an 'any' type because expression of type '0' can't be used to index type 'OneOrMany'. // ERROR: Property '0' does not exist on type …