diff options
author | Dmitry Petrashko <dark@d-d.me> | 2015-10-20 11:19:24 +0200 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2015-10-20 11:19:24 +0200 |
commit | cbb565a436196b102c27688d1da8f27bea12bae4 (patch) | |
tree | bd2501c2a074ed75b2a10a2b87e17b3d8f272267 /tests/pos/t2799.flags | |
parent | 78d769004bdcd152f9f4816bb5cf699aeeb73ff3 (diff) | |
parent | 6cca64fa0aa37942812d1c870b99f309dab67352 (diff) | |
download | dotty-cbb565a436196b102c27688d1da8f27bea12bae4.tar.gz dotty-cbb565a436196b102c27688d1da8f27bea12bae4.tar.bz2 dotty-cbb565a436196b102c27688d1da8f27bea12bae4.zip |
Merge pull request #821 from dotty-staging/fix-check-simple-kinded
Check that some types are not higher-kinded.
Diffstat (limited to 'tests/pos/t2799.flags')
0 files changed, 0 insertions, 0 deletions