Do not register placeholder region outlives when considering_regions is false

This commit is contained in:
Michael Goulet 2022-10-12 04:03:59 +00:00
parent db0597f561
commit 3021598fdb
3 changed files with 62 additions and 1 deletions

View file

@ -355,7 +355,7 @@ impl<'a, 'tcx> ObligationProcessor for FulfillProcessor<'a, 'tcx> {
}
ty::PredicateKind::RegionOutlives(data) => {
if infcx.considering_regions || data.has_placeholders() {
if infcx.considering_regions {
infcx.region_outlives_predicate(&obligation.cause, Binder::dummy(data));
}