On demandify region mapping#41662

bors merged 11 commits intorust-lang:masterrust-lang/rust:masterfrom

nikomatsakis:on-demandify-region-mappingnikomatsakis/rust:on-demandify-region-mappingCopy head branch name to clipboard