Fix visit_ex_clause_with
The sub-visits were incorrectly combined with an `&&` instead of an `||`.
This commit is contained in:
parent
50f8ae364b
commit
37ef0c38b7
@ -547,9 +547,9 @@ impl ExClauseFold<'tcx> for ChalkArenas<'tcx> {
|
||||
subgoals,
|
||||
} = ex_clause;
|
||||
subst.visit_with(visitor)
|
||||
&& delayed_literals.visit_with(visitor)
|
||||
&& constraints.visit_with(visitor)
|
||||
&& subgoals.visit_with(visitor)
|
||||
|| delayed_literals.visit_with(visitor)
|
||||
|| constraints.visit_with(visitor)
|
||||
|| subgoals.visit_with(visitor)
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user