Add regression test for #19921
Showing
- testsuite/tests/quantified-constraints/T19921.hs 29 additions, 0 deletionstestsuite/tests/quantified-constraints/T19921.hs
- testsuite/tests/quantified-constraints/T19921.stderr 9 additions, 0 deletionstestsuite/tests/quantified-constraints/T19921.stderr
- testsuite/tests/quantified-constraints/all.T 1 addition, 0 deletionstestsuite/tests/quantified-constraints/all.T
Please register or sign in to comment