diff options
author | Martin Odersky <odersky@gmail.com> | 2012-02-13 00:02:39 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2012-02-13 00:02:39 +0100 |
commit | 52c99f57ef41c436719818b8e3860e3bfbf023e2 (patch) | |
tree | c5146f24872b6bc70b65f2d64170d09450673ec5 /test/files/neg/anyval-anyref-parent.scala | |
parent | 7bcb1f2fc98eb870fcd52d3b01b3381e5ce0f8d1 (diff) | |
download | scala-52c99f57ef41c436719818b8e3860e3bfbf023e2.tar.gz scala-52c99f57ef41c436719818b8e3860e3bfbf023e2.tar.bz2 scala-52c99f57ef41c436719818b8e3860e3bfbf023e2.zip |
All steps of value class proposal implemented. Most restrictions are now enforced. Super calls and specialized still missing.
Diffstat (limited to 'test/files/neg/anyval-anyref-parent.scala')
-rw-r--r-- | test/files/neg/anyval-anyref-parent.scala | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test/files/neg/anyval-anyref-parent.scala b/test/files/neg/anyval-anyref-parent.scala index 08568487a9..f927992e59 100644 --- a/test/files/neg/anyval-anyref-parent.scala +++ b/test/files/neg/anyval-anyref-parent.scala @@ -1,10 +1,11 @@ trait Foo1 extends Any -trait Foo2 extends AnyVal +trait Foo2 extends AnyVal // fail trait Foo3 extends AnyRef class Bar1 extends Any // fail -@inline class Bar2 extends AnyVal -class Bar3 extends AnyRef +class Bar2(x: Int) extends AnyVal // fail +class Bar3(val x: Int) extends AnyVal // fail +class Bar4 extends AnyRef trait Foo4 extends Any with Immutable // fail trait Foo5 extends AnyVal with Immutable // fail |