summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/T12441
Commit message (Expand)AuthorAgeFilesLines
* Show explicit quantifiers in conflicting definitions errorPhil de Joux2017-01-205-0/+24