aboutsummaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2015-07-02 14:07:57 +0200
committerMartin Odersky <odersky@gmail.com>2015-07-02 14:08:12 +0200
commit257bf52c3d205359896e3c391274091b3fab732e (patch)
treeda78a487648f20ec17f3217ac3d01ea511ceaf31 /tests
parentb0084dafdc4742960696829c358cfbbbcb6e5e45 (diff)
downloaddotty-257bf52c3d205359896e3c391274091b3fab732e.tar.gz
dotty-257bf52c3d205359896e3c391274091b3fab732e.tar.bz2
dotty-257bf52c3d205359896e3c391274091b3fab732e.zip
Check that value classes are static
Diffstat (limited to 'tests')
-rw-r--r--tests/neg/i705-inner-value-class.scala15
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/neg/i705-inner-value-class.scala b/tests/neg/i705-inner-value-class.scala
new file mode 100644
index 000000000..6dec7b0f9
--- /dev/null
+++ b/tests/neg/i705-inner-value-class.scala
@@ -0,0 +1,15 @@
+class Foo {
+ class B(val a: Int) extends AnyVal // error
+}
+
+object Test {
+ class B(val a: Int) extends AnyVal // ok
+ def f = {
+ class C(val a: Int) extends AnyVal // error
+ new C(1)
+ }
+ class B1(val b: Int) extends B(b)
+// class D extends B( { class E(val a: Int) extends AnyVal; new E(1) } ) // error
+}
+
+