summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_compile/T13140.bkp
Commit message (Expand)AuthorAgeFilesLines
* Subtyping for roles in signatures.Edward Z. Yang2017-02-261-0/+40