From daf0953c1f5d76b468a75911f3f22162d631415c Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 29 Jul 2012 14:10:36 +0200 Subject: Closes SI-5878 We need to impose an additional rule on value classes: They may not unbox directly or indirectly to themselves. --- test/files/neg/t5878.check | 13 +++++++++++++ test/files/neg/t5878.scala | 6 ++++++ 2 files changed, 19 insertions(+) create mode 100644 test/files/neg/t5878.check create mode 100644 test/files/neg/t5878.scala (limited to 'test') 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 + -- cgit v1.2.3