diff options
| author | Michael Goulet <michael@errs.io> | 2024-06-04 09:43:49 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-06-12 19:10:02 -0400 |
| commit | 44040a06703375bb01db0c549a71c3cafcae0dc8 (patch) | |
| tree | 397ae93943e9a72b9443acaaa3d46b13fcd4020e /compiler | |
| parent | b0c14743811866a63aac3177e5f9f820af477458 (diff) | |
| download | rust-44040a06703375bb01db0c549a71c3cafcae0dc8.tar.gz rust-44040a06703375bb01db0c549a71c3cafcae0dc8.zip | |
Also passthrough for projection clauses
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/fulfill.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/fulfill.rs b/compiler/rustc_trait_selection/src/solve/fulfill.rs index 0e9cbbc27b6..3c3d5dfe79c 100644 --- a/compiler/rustc_trait_selection/src/solve/fulfill.rs +++ b/compiler/rustc_trait_selection/src/solve/fulfill.rs @@ -460,7 +460,9 @@ impl<'tcx> ProofTreeVisitor<'tcx> for BestObligation<'tcx> { polarity: ty::PredicatePolarity::Positive, })) } - ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(_)) + ty::PredicateKind::Clause( + ty::ClauseKind::WellFormed(_) | ty::ClauseKind::Projection(..), + ) | ty::PredicateKind::AliasRelate(..) => ChildMode::PassThrough, _ => { return ControlFlow::Break(self.obligation.clone()); |