You really need support for union types to type-ch...

# language-proposals

[elizarov]

You really need support for union types to type-check this kind of code. Look at how many things inside kotlinx.coroutines are implemented, for example. It has more complex unions than just UNINITIALIZED_VALUE | T union that is used in`lazy`.