Strict region folders - #110312

Closed

nnethercote wants to merge 2 commits into

rust-lang:masterfrom

nnethercote:strict-region-folders

Commits on Apr 14, 2023

Rewrite `RegionReplacer::fold_region`.
nnethercote
committed
66314e2
Make all region folders strict about which variants they accept.
nnethercote
committed
043c1de