[CTYP-71] Occurrence typing does not deal well with non-eagerly simplifying unions Created: 26/Sep/13 Updated: 20/Jul/15 Resolved: 20/Jul/15
|Reporter:||Ambrose Bonnaire-Sergeant||Assignee:||Ambrose Bonnaire-Sergeant|
Bug introduced in 0.2.11.
|Comment by Ambrose Bonnaire-Sergeant [ 20/Jul/15 10:31 AM ]|
I didn't check but this is probably fixed.
|Comment by Ambrose Bonnaire-Sergeant [ 20/Jul/15 11:06 AM ]|
Ok, I went back and investigated.
There is a unit test proving this works, and we should close this.