diff options
| author | Michael Goulet <michael@errs.io> | 2025-06-05 16:36:47 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-06-06 15:34:14 +0000 |
| commit | 8addb6f3be3cd166bf40919c766cde2efc19fbaa (patch) | |
| tree | f1c6c5029e4dd3191ee26ea17a1d9c471b25550d /compiler/rustc_trait_selection/src | |
| parent | f315e6145802e091ff9fceab6db627a4b4ec2b86 (diff) | |
| download | rust-8addb6f3be3cd166bf40919c766cde2efc19fbaa.tar.gz rust-8addb6f3be3cd166bf40919c766cde2efc19fbaa.zip | |
Filter out universals and lifetimes from stalled_vars
Diffstat (limited to 'compiler/rustc_trait_selection/src')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs | 6 |
1 files changed, 4 insertions, 2 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 1c9d69da322..36a8ae675c0 100644 --- a/compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs +++ b/compiler/rustc_trait_selection/src/solve/fulfill/derive_errors.rs @@ -120,13 +120,15 @@ pub(super) fn fulfillment_error_for_stalled<'tcx>( false, ), Ok(GoalEvaluation { certainty: Certainty::Yes, .. }) => { - bug!( + span_bug!( + root_obligation.cause.span, "did not expect successful goal when collecting ambiguity errors for `{:?}`", infcx.resolve_vars_if_possible(root_obligation.predicate), ) } Err(_) => { - bug!( + span_bug!( + root_obligation.cause.span, "did not expect selection error when collecting ambiguity errors for `{:?}`", infcx.resolve_vars_if_possible(root_obligation.predicate), ) |