Look both ways when looking for quantified equalities
When looking up (t1 ~# t2)
in the quantified constraints, check both orientations. Forgetting this led to #23333.
When looking up (t1 ~# t2)
in the quantified constraints, check both orientations. Forgetting this led to #23333.