Do not register placeholder RegionOutlives
obligations when considering_regions
is false#102945
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 17, 2022
RegionOutlives
obligations when considering_regions
is false#102945