diff options
| author | Michael Goulet <michael@errs.io> | 2025-03-22 22:09:16 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-03-23 18:18:47 +0000 |
| commit | 575f129faa5126869f11ef945276072b097a2b2a (patch) | |
| tree | 3c05dd753cecab07db8f203b1ba710d3bcfb12fc /compiler/rustc_trait_selection/src/solve/delegate.rs | |
| parent | aa8f0fd7163a2f23aa958faed30c9c2b77b934a5 (diff) | |
| download | rust-575f129faa5126869f11ef945276072b097a2b2a.tar.gz rust-575f129faa5126869f11ef945276072b097a2b2a.zip | |
Obligation::as_goal
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/delegate.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/delegate.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/delegate.rs b/compiler/rustc_trait_selection/src/solve/delegate.rs index af5a60027ba..3d9a90eb74e 100644 --- a/compiler/rustc_trait_selection/src/solve/delegate.rs +++ b/compiler/rustc_trait_selection/src/solve/delegate.rs @@ -96,7 +96,7 @@ impl<'tcx> rustc_next_trait_solver::delegate::SolverDelegate for SolverDelegate< ) -> Option<Vec<Goal<'tcx, ty::Predicate<'tcx>>>> { crate::traits::wf::unnormalized_obligations(&self.0, param_env, arg, DUMMY_SP, CRATE_DEF_ID) .map(|obligations| { - obligations.into_iter().map(|obligation| obligation.into()).collect() + obligations.into_iter().map(|obligation| obligation.as_goal()).collect() }) } |