fixed problems with ranges

4 files changed, 26 insertions, 0 deletions

diff --git a/test/files/neg/t0345.check b/test/files/neg/t0345.check
new file mode 100644
index 0000000000..f4a5275336
--- /dev/null
+++ b/test/files/neg/t0345.check
@@ -0,0 +1,4 @@
+t0345.scala:2: error: object creation impossible, since method cons in trait Lizt of type (Nothing)Unit is not defined
+    val empty = new Lizt[Nothing] {

+                ^
+one error found
diff --git a/test/files/neg/t0345.scala b/test/files/neg/t0345.scala
new file mode 100755
index 0000000000..f3652c183b
--- /dev/null
+++ b/test/files/neg/t0345.scala
@@ -0,0 +1,15 @@
+object Lizt {
+    val empty = new Lizt[Nothing] {
+        def cons[A](a : A) {}
+    }
+}
+
+trait Lizt[A] {
+    def cons(a : A) : Unit
+}
+class Test {
+    abstract class C[A] {}
+    val c = new C[Int] {
+        def f[A](x: A) {}
+    }
+ }
diff --git a/test/files/neg/t0351.check b/test/files/neg/t0351.check
new file mode 100644
index 0000000000..d374c905ed
--- /dev/null
+++ b/test/files/neg/t0351.check
@@ -0,0 +1,4 @@
+t0351.scala:2: error: no by-name parameter type allowed here
+  def identity[T](x : => T) : (=> T)

+                               ^
+one error found
diff --git a/test/files/neg/t0351.scala b/test/files/neg/t0351.scala
new file mode 100755
index 0000000000..665bd89da4
--- /dev/null
+++ b/test/files/neg/t0351.scala
@@ -0,0 +1,3 @@
+abstract class Foo {
+  def identity[T](x : => T) : (=> T)
+}