diff options
| author | Michael Goulet <michael@errs.io> | 2024-01-26 19:18:14 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-01-30 00:09:58 +0000 |
| commit | 720d7a7a03b9997644fe28a12a80a910b2652760 (patch) | |
| tree | d351729989f64cdcebe7b384df07a2247fa1c415 /compiler/rustc_trait_selection | |
| parent | dc050f6d5bb1cb9d7529b6d9881ad99d8ce6a20d (diff) | |
| download | rust-720d7a7a03b9997644fe28a12a80a910b2652760.tar.gz rust-720d7a7a03b9997644fe28a12a80a910b2652760.zip | |
Apply suggestions from review
Diffstat (limited to 'compiler/rustc_trait_selection')
| -rw-r--r-- | compiler/rustc_trait_selection/src/regions.rs | 7 | ||||
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/auto_trait.rs | 2 |
2 files changed, 6 insertions, 3 deletions
diff --git a/compiler/rustc_trait_selection/src/regions.rs b/compiler/rustc_trait_selection/src/regions.rs index 3c53da32d0a..e8929f114e1 100644 --- a/compiler/rustc_trait_selection/src/regions.rs +++ b/compiler/rustc_trait_selection/src/regions.rs @@ -20,12 +20,15 @@ impl<'tcx> InferCtxtRegionExt<'tcx> for InferCtxt<'tcx> { &self, outlives_env: &OutlivesEnvironment<'tcx>, ) -> Vec<RegionResolutionError<'tcx>> { - self.resolve_regions(outlives_env, |ty| { + self.resolve_regions_with_normalize(outlives_env, |ty, origin| { let ty = self.resolve_vars_if_possible(ty); if self.next_trait_solver() { crate::solve::deeply_normalize( - self.at(&ObligationCause::dummy(), outlives_env.param_env), + self.at( + &ObligationCause::dummy_with_span(origin.span()), + outlives_env.param_env, + ), ty, ) .map_err(|_| ty) diff --git a/compiler/rustc_trait_selection/src/traits/auto_trait.rs b/compiler/rustc_trait_selection/src/traits/auto_trait.rs index 87b68a8bd2d..b258007787d 100644 --- a/compiler/rustc_trait_selection/src/traits/auto_trait.rs +++ b/compiler/rustc_trait_selection/src/traits/auto_trait.rs @@ -179,7 +179,7 @@ impl<'tcx> AutoTraitFinder<'tcx> { } let outlives_env = OutlivesEnvironment::new(full_env); - let _ = infcx.process_registered_region_obligations::<!>(&outlives_env, |ty| Ok(ty)); + let _ = infcx.process_registered_region_obligations::<!>(&outlives_env, |ty, _| Ok(ty)); let region_data = infcx.inner.borrow_mut().unwrap_region_constraints().region_constraint_data().clone(); |
