require `Reveal::All` in `normalize_erasing_regions`#77752

Closed

lcnr wants to merge 1 commit intorust-lang:masterfrom lcnr:normalize-assert

+1

Commits on Oct 9, 2020

require Reveal::All in normalize_erasing_regions
lcnr
committed