В разделе о распространении вы сказали

В разделе о распространении вы сказали

“

Это потому, что тип `nested` теперь имеет следующий тип:

{ left_inner: string } | { right_inner: string }

”

Я не знаю, как долго это было так, но распространение работает больше как фактическое распространение объекта в javascript, где новым типом для вложенных будет то, что было распространено позже, в вашем случае { right_inner: string }. Вы можете видеть, что в том же потоке, например Ьгу вы поделились после внесения Right точной в соответствии с требованиями потока https://flow.org/try/#0C4TwDgpgBAMhBmwoF4oG8BQUoBsHAH0B7AV2AgCcAuKAZ2AoEsA7AcwBospmJ6IATGpmzY8iAix7U6DFqy4BfDEoyhIUAEqNWACySo0AHy5NdhUuWn0mbTth59B6LtlN6JzKTWtzFGQypq0ABCRMA6KOgAdDFwiOxQMVFaZioAxkTM9FDhcjSh4ZHCuPjEZJQ0AEQ6EDg4RJV2UG7m5dKVAO5EFDj8jVwO5E7F2AD0oyXikhVQ1RAg-SLN2u7T7eGUEJV+KqMAVBjjUACCacAkAIY4OeDQ8N1QBRGMtNxEHVSqt49hEQZcYlalm8slsA14QyEk0IaxBNlYUAUUEM6GWZg8Xhk8MRygwe1GQA