summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T19921.hs
Commit message (Expand)AuthorAgeFilesLines
* Add regression test for #19921Zubin Duggal2021-06-251-0/+29