bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Bail in effects in old solver if self ty is ty var

Browse source
This commit is contained in:
Michael Goulet 2024-11-22 03:12:50 +00:00
parent 5d3c6ee9b3
commit 8dfed4ec98
2 changed files with 21 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_trait_selection/src/traits/effects.rs
View file

@ -27,6 +27,11 @@ pub fn evaluate_host_effect_obligation<'tcx>(
);
}
// Force ambiguity for infer self ty.
if obligation.predicate.self_ty().is_ty_var() {
return Err(EvaluationFailure::Ambiguous);
}
match evaluate_host_effect_from_bounds(selcx, obligation) {
Ok(result) => return Ok(result),
Err(EvaluationFailure::Ambiguous) => return Err(EvaluationFailure::Ambiguous),