summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T16394.stderr
Commit message (Expand)AuthorAgeFilesLines
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-301-5/+4
* testsuite: Add testcase for #16394Ben Gamari2019-03-141-0/+5