Skip to content

Don't report redundant Givens from quantified constraints

Simon Peyton Jones requested to merge wip/T23323 into master

This fixes #23323 (closed). Simple.

Merge request reports