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/t5878.check | |
| 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/t5878.check')
| -rw-r--r-- | test/files/neg/t5878.check | 13 |
1 files changed, 13 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 |