summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T16326_Fail8.stderr
Commit message (Expand)AuthorAgeFilesLines
* Reject nested foralls/contexts in instance types more consistentlywip/T18240Ryan Scott2020-06-271-4/+3
* Visible dependent quantificationRyan Scott2019-03-011-0/+6