bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Check def id before calling match_projection_projections

Browse source
This commit is contained in:
Michael Goulet 2024-04-04 16:01:06 -04:00
parent 0fd571286e
commit 43dae69341
2 changed files with 41 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_trait_selection/src/traits/project.rs
View file

@ -793,6 +793,9 @@ fn assemble_candidates_from_trait_def<'cx, 'tcx>(
let Some(clause) = clause.as_projection_clause() else {
return ControlFlow::Continue(());
};
if clause.projection_def_id() != obligation.predicate.def_id {
return ControlFlow::Continue(());
}
let is_match =
selcx.infcx.probe(|_| selcx.match_projection_projections(obligation, clause, true));