diff options
| author | Michael Goulet <michael@errs.io> | 2024-07-06 14:55:23 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-06 14:55:23 -0400 |
| commit | dfc02d28c7f5e1cff116380e8b48304a1b061a58 (patch) | |
| tree | 0c33a38026c044a345de8a2b7c3de641e01575bd /compiler/rustc_infer/src/traits/util.rs | |
| parent | 8a8ad3433e4168f54ac1364f85da694be9eeca7c (diff) | |
| parent | c2a88ea6cad74bfdad451e055a59b0794d0909ff (diff) | |
| download | rust-dfc02d28c7f5e1cff116380e8b48304a1b061a58.tar.gz rust-dfc02d28c7f5e1cff116380e8b48304a1b061a58.zip | |
Rollup merge of #127386 - compiler-errors:uplift-outlives-components, r=lcnr
Uplift outlives components to `rustc_type_ir` We need this to uplift `push_outlives_components`, since the elaborator uses `push_outlives_components` to elaborate type outlives obligations and I want to uplift elaboration. This ends up reworking and inlining a fair portion of the `GenericArg::walk_shallow` function, whose only callsite was this one. I believe I got the logic correct, but may be worthwhile to look at it closely just in case. Unfortunately github was too dumb to understand that this is a rename + change -- I could also rework the git history to split the "copy the file over" part from the actual logical changes if that makes this easier to review. r? lcnr
Diffstat (limited to 'compiler/rustc_infer/src/traits/util.rs')
| -rw-r--r-- | compiler/rustc_infer/src/traits/util.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/traits/util.rs b/compiler/rustc_infer/src/traits/util.rs index 18d36c3a5df..b269bfcbfeb 100644 --- a/compiler/rustc_infer/src/traits/util.rs +++ b/compiler/rustc_infer/src/traits/util.rs @@ -1,12 +1,12 @@ use smallvec::smallvec; -use crate::infer::outlives::components::{push_outlives_components, Component}; use crate::traits::{self, Obligation, ObligationCauseCode, PredicateObligation}; use rustc_data_structures::fx::FxHashSet; use rustc_middle::ty::ToPolyTraitRef; use rustc_middle::ty::{self, Ty, TyCtxt, Upcast}; use rustc_span::symbol::Ident; use rustc_span::Span; +use rustc_type_ir::outlives::{push_outlives_components, Component}; pub fn anonymize_predicate<'tcx>( tcx: TyCtxt<'tcx>, |