|
|
|
|
|
|
by dllthomas
1321 days ago
|
|
|
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. |
|
|