Skip to content

Be more careful in chooseInferredQuantifiers

Simon Peyton Jones requested to merge wip/T22065 into master

This fixes #22065 (closed). We were failing to retain a quantifier that was mentioned in the kind of another retained quantifier.

Easy to fix.

Merge request reports