Improve error message in top-assumption rewrite #858
+6
−2
Merged
Loading