Union type widening

[NthPortal]

The following comment (as well as the rest of his reply) might be helpful.

@odersky

For nested if-then-elses or multiple branch match expressions the size of the type would grow linearly.