mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use EagerResolver

Browse Source
This commit is contained in:
lcnr 2024-04-25 20:19:01 +00:00
parent 03878c682a
commit b64f687cb0
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_trait_selection/src/solve/inspect/analyse.rs
View File

@ -11,6 +11,7 @@
use rustc_ast_ir::try_visit; use rustc_ast_ir::try_visit;
use rustc_ast_ir::visit::VisitorResult; use rustc_ast_ir::visit::VisitorResult;
use rustc_infer::infer::resolve::EagerResolver;
use rustc_infer::infer::type_variable::TypeVariableOrigin; use rustc_infer::infer::type_variable::TypeVariableOrigin;
use rustc_infer::infer::{DefineOpaqueTypes, InferCtxt, InferOk}; use rustc_infer::infer::{DefineOpaqueTypes, InferCtxt, InferOk};
use rustc_middle::infer::unify_key::ConstVariableOrigin; use rustc_middle::infer::unify_key::ConstVariableOrigin;
@ -19,6 +20,7 @@ use rustc_middle::traits::solve::{inspect, QueryResult};
use rustc_middle::traits::solve::{Certainty, Goal}; use rustc_middle::traits::solve::{Certainty, Goal};
use rustc_middle::traits::ObligationCause; use rustc_middle::traits::ObligationCause;
use rustc_middle::ty; use rustc_middle::ty;
use rustc_middle::ty::TypeFoldable;
use rustc_span::Span; use rustc_span::Span;
use crate::solve::eval_ctxt::canonical; use crate::solve::eval_ctxt::canonical;
@ -254,7 +256,7 @@ impl<'a, 'tcx> InspectGoal<'a, 'tcx> {
infcx, infcx,
depth, depth,
orig_values, orig_values,
goal: infcx.resolve_vars_if_possible(root.uncanonicalized_goal), goal: root.uncanonicalized_goal.fold_with(&mut EagerResolver::new(infcx)),
evaluation: root, evaluation: root,
}, },
inspect::GoalEvaluationKind::Nested { .. } => unreachable!(), inspect::GoalEvaluationKind::Nested { .. } => unreachable!(),