diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-02 14:07:57 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-07-02 14:08:12 +0200 |
commit | 257bf52c3d205359896e3c391274091b3fab732e (patch) | |
tree | da78a487648f20ec17f3217ac3d01ea511ceaf31 /tests/neg/i705-inner-value-class.scala | |
parent | b0084dafdc4742960696829c358cfbbbcb6e5e45 (diff) | |
download | dotty-257bf52c3d205359896e3c391274091b3fab732e.tar.gz dotty-257bf52c3d205359896e3c391274091b3fab732e.tar.bz2 dotty-257bf52c3d205359896e3c391274091b3fab732e.zip |
Check that value classes are static
Diffstat (limited to 'tests/neg/i705-inner-value-class.scala')
-rw-r--r-- | tests/neg/i705-inner-value-class.scala | 15 |
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 +} + + |