in which we plug the crack where ?-desugaring leaked into errors#51938
Merged
bors merged 1 commit intorust-lang:masterfrom zackmdavis:and_the_case_of_the_leaking_desugarJul 5, 2018
+82-2
?-desugaring leaked into errors#51938