diff options
| author | Michael Goulet <michael@errs.io> | 2024-01-30 21:48:54 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-02-02 18:30:21 +0000 |
| commit | 0e16885abd6997897a28627d1ff514c106261a7f (patch) | |
| tree | b43b93aff75700d6f958714d5ee62e77a04cd4b3 /compiler/rustc_trait_selection/src/regions.rs | |
| parent | bf3c6c5bed498f41ad815641319a1ad9bcecb8e8 (diff) | |
| download | rust-0e16885abd6997897a28627d1ff514c106261a7f.tar.gz rust-0e16885abd6997897a28627d1ff514c106261a7f.zip | |
Use deeply_normalize_with_skipped_universes in when processing type outlives
Diffstat (limited to 'compiler/rustc_trait_selection/src/regions.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/regions.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/regions.rs b/compiler/rustc_trait_selection/src/regions.rs index e8929f114e1..e5a7b27446b 100644 --- a/compiler/rustc_trait_selection/src/regions.rs +++ b/compiler/rustc_trait_selection/src/regions.rs @@ -24,12 +24,13 @@ impl<'tcx> InferCtxtRegionExt<'tcx> for InferCtxt<'tcx> { let ty = self.resolve_vars_if_possible(ty); if self.next_trait_solver() { - crate::solve::deeply_normalize( + crate::solve::deeply_normalize_with_skipped_universes( self.at( &ObligationCause::dummy_with_span(origin.span()), outlives_env.param_env, ), ty, + vec![None; ty.outer_exclusive_binder().as_usize()], ) .map_err(|_| ty) } else { |