One option might be to differentiate syntactically between branches of an if/match that are allowed to expand their type (to a union or to a bigger union) and t

One option might be to differentiate syntactically between branches of an if/match that are allowed to expand their type (to a union or to a bigger union) and those that are not. I am not sure how far that generalizes, though.