Implement normalize_erasing_regions queries in terms of 'try' version#91672

Merged

bors merged 2 commits intorust-lang:masterfrom b-naber:merge-normalize-erasing-regions-queries

Dec 17, 2021

+9-64

Commits on Dec 13, 2021