-
Kim Nguyễn authored
In `debug subtype (t1 t2)` variable occuring both in `t1` and `t2` are the same, and not fresh variables with the same external name and distinct internal IDs.
30826a44
In `debug subtype (t1 t2)` variable occuring both in `t1` and `t2` are the same, and not fresh variables with the same external name and distinct internal IDs.