diff options
| author | Michael Goulet <michael@errs.io> | 2025-02-05 18:32:06 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-02-05 18:32:06 +0000 |
| commit | 4e763c22976cf00e28d94c0f5af455c21327d1b8 (patch) | |
| tree | ee343b32f7cb4ec6d02f6ce7e847e03c6f2788e3 /compiler/rustc_trait_selection/src/solve/fulfill | |
| parent | fd1110ce6a417cff24a9d3695333e05b7caf9c29 (diff) | |
Pass spans around new solver
Diffstat (limited to 'compiler/rustc_trait_selection/src/solve/fulfill')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs b/compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs index c64bc19835b..8edd623e5d0 100644 --- a/compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs +++ b/compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs @@ -88,7 +88,11 @@ pub(super) fn fulfillment_error_for_stalled<'tcx>( ) -> FulfillmentError<'tcx> { let (code, refine_obligation) = infcx.probe(|_| { match <&SolverDelegate<'tcx>>::from(infcx) - .evaluate_root_goal(root_obligation.clone().into(), GenerateProofTree::No) + .evaluate_root_goal( + root_obligation.clone().into(), + GenerateProofTree::No, + root_obligation.cause.span, + ) .0 { Ok((_, Certainty::Maybe(MaybeCause::Ambiguity))) => { |