diff options
author | Martin Odersky <odersky@gmail.com> | 2014-12-13 14:09:27 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-12-13 14:09:27 +0100 |
commit | 291b563418011120c9fbe05a05e118a7ec28005d (patch) | |
tree | bf5a86dd05fbbf2ee6614d4c3e43e265197abe58 /tests/pos/java-interop/t1711 | |
parent | 7cdf3d0dc5709634825b1300d77d1a0ef01c69fa (diff) | |
download | dotty-291b563418011120c9fbe05a05e118a7ec28005d.tar.gz dotty-291b563418011120c9fbe05a05e118a7ec28005d.tar.bz2 dotty-291b563418011120c9fbe05a05e118a7ec28005d.zip |
Fix #248: Class cannot inherit from refinement types
We now check that classes do not inherit from refinement types
(unless they are an encoding of parameterized types), nor from
& or | types.
Diffstat (limited to 'tests/pos/java-interop/t1711')
0 files changed, 0 insertions, 0 deletions