bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Always recurse on predicates in BestObligation

Browse source
This commit is contained in:
Michael Goulet 2024-10-14 12:40:08 -04:00
parent e7c0d27507
commit 50b8029ce1
1 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/rustc_trait_selection/src/solve/fulfill.rs
View file

@ -465,13 +465,7 @@ impl<'tcx> ProofTreeVisitor<'tcx> for BestObligation<'tcx> {
polarity: ty::PredicatePolarity::Positive, polarity: ty::PredicatePolarity::Positive,
})) }))
} }
ty::PredicateKind::Clause( _ => ChildMode::PassThrough,
ty::ClauseKind::WellFormed(_) | ty::ClauseKind::Projection(..),
)
| ty::PredicateKind::AliasRelate(..) => ChildMode::PassThrough,
_ => {
return ControlFlow::Break(self.obligation.clone());
}
}; };
let mut impl_where_bound_count = 0; let mut impl_where_bound_count = 0;