Skip to content

Commit

Permalink
w
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr committed Feb 21, 2025
1 parent cb59028 commit 65fdd7c
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -440,7 +440,7 @@ impl<'tcx> ProofTreeVisitor<'tcx> for BestObligation<'tcx> {
match (child_mode, nested_goal.source()) {
(
ChildMode::Trait(_) | ChildMode::Host(_),
GoalSource::Misc | GoalSource::NormalizeImplWhereBound,
GoalSource::Misc | GoalSource::NormalizeGoal(_),
) => {
continue;
}
Expand Down

0 comments on commit 65fdd7c

Please # to comment.