Tests of functionality.

As the comment in pos/singletons.scala says, we currently
test only constant propagation during typer. We should also have a
test that literalize produces the literals in the right places.

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/neg/singletons.scala b/tests/neg/singletons.scala
new file mode 100644
index 000000000..77e2a924f
--- /dev/null
+++ b/tests/neg/singletons.scala
@@ -0,0 +1,6 @@
+object Test {
+  final val y: 2 = { println("x"); 2 } // error: side effect
+  val a: 42 = 43  // error: different constant
+  val x = 42
+  val z: 42 = x   // error: x is not final
+}