Skip to content

Fix quantification order for a `op` b and a %m -> b

Krzysztof Gogolewski requested to merge wip/T23764 into master

As noticed in #23764 (closed), the ordering used for VTA was wrong for a %m -> b and a `op` b.

This change is backwards incompatible. I've added optimistic wording in release notes but it needs a confirmation and impact assessment.

Merge request reports