diff options
author | Martin Odersky <odersky@gmail.com> | 2012-07-29 14:10:36 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2012-07-29 14:10:45 +0200 |
commit | daf0953c1f5d76b468a75911f3f22162d631415c (patch) | |
tree | 715a6192f30e6383b2621e58ba027573c78713fb /test/files/neg | |
parent | 1f95d356ee69a442f98aedc024a1aa7e4672d20a (diff) | |
download | scala-daf0953c1f5d76b468a75911f3f22162d631415c.tar.gz scala-daf0953c1f5d76b468a75911f3f22162d631415c.tar.bz2 scala-daf0953c1f5d76b468a75911f3f22162d631415c.zip |
Closes SI-5878
We need to impose an additional rule on value classes: They may not unbox directly or indirectly to themselves.
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/t5878.check | 13 | ||||
-rw-r--r-- | test/files/neg/t5878.scala | 6 |
2 files changed, 19 insertions, 0 deletions
diff --git a/test/files/neg/t5878.check b/test/files/neg/t5878.check new file mode 100644 index 0000000000..50dba0d272 --- /dev/null +++ b/test/files/neg/t5878.check @@ -0,0 +1,13 @@ +t5878.scala:1: error: value class may not unbox to itself +case class Foo(x: Bar) extends AnyVal + ^ +t5878.scala:2: error: value class may not unbox to itself +case class Bar(x: Foo) extends AnyVal + ^ +t5878.scala:4: error: value class may not unbox to itself +class Foo1(val x: Bar1) extends AnyVal + ^ +t5878.scala:5: error: value class may not unbox to itself +class Bar1(val x: Foo1) extends AnyVal + ^ +four errors found diff --git a/test/files/neg/t5878.scala b/test/files/neg/t5878.scala new file mode 100644 index 0000000000..b4e33627ef --- /dev/null +++ b/test/files/neg/t5878.scala @@ -0,0 +1,6 @@ +case class Foo(x: Bar) extends AnyVal +case class Bar(x: Foo) extends AnyVal + +class Foo1(val x: Bar1) extends AnyVal +class Bar1(val x: Foo1) extends AnyVal + |