- Added bug193.scala

3 files changed, 149 insertions, 0 deletions

diff --git a/config/list/test-pos.lst b/config/list/test-pos.lst
index 7652519256..637866fabb 100644
--- a/config/list/test-pos.lst
+++ b/config/list/test-pos.lst
@@ -18,6 +18,7 @@ pos/bug1.scala
 pos/bug121.scala
 pos/bug17.scala
 pos/bug183.scala
+pos/bug193.scala
 pos/bug2.scala
 pos/bug20.scala
 pos/bug29.scala
diff --git a/test/files/pos/bug193.scala b/test/files/pos/bug193.scala
new file mode 100644
index 0000000000..9b1c82f45f
--- /dev/null
+++ b/test/files/pos/bug193.scala
@@ -0,0 +1,74 @@
+// $Id$
+
+trait Test {
+
+  def fun_00(x: Int): Unit = {
+    (0: Any) == 0;
+    (0     ) == 0;
+    (0: Any) != 0;
+    (0     ) != 0;
+    ()
+  }
+
+  def fun_i0(x: Int): Unit = {
+    (x: Any) == 0;
+    (x     ) == 0;
+    (x: Any) != 0;
+    (x     ) != 0;
+    ()
+  }
+
+  def fun_o0(x: Object): Unit = {
+    (x: Any) == 0;
+    (x     ) == 0;
+    (x: Any) != 0;
+    (x     ) != 0;
+    ()
+  }
+
+  def fun_0i(y: Int): Unit = {
+    (0: Any) == y;
+    (0     ) == y;
+    (0: Any) != y;
+    (0     ) != y;
+    ()
+  }
+
+  def fun_0o(y: Object): Unit = {
+     (0: Any) == y;
+     (0     ) == y;
+     (0: Any) != y;
+     (0     ) != y;
+    ()
+  }
+
+  def fun_ii(x: Int, y: Int): Unit = {
+    (x: Any) == y;
+    (x     ) == y;
+    (x: Any) != y;
+    (x     ) != y;
+    ()
+  }
+  def fun_io(x: Int, y: Object): Unit = {
+    (x: Any) == y;
+    (x     ) == y;
+    (x: Any) != y;
+    (x     ) != y;
+    ()
+  }
+  def fun_oi(x: Object, y: Int): Unit = {
+    (x: Any) == y;
+    (x     ) == y;
+    (x: Any) != y;
+    (x     ) != y;
+    ()
+  }
+  def fun_oo(x: Object, y: Object): Unit = {
+    (x: Any) == y;
+    (x     ) == y;
+    (x: Any) != y;
+    (x     ) != y;
+    ()
+  }
+
+}
diff --git a/test/pos/bug193.scala b/test/pos/bug193.scala
new file mode 100644
index 0000000000..9b1c82f45f
--- /dev/null
+++ b/test/pos/bug193.scala
@@ -0,0 +1,74 @@
+// $Id$
+
+trait Test {
+
+  def fun_00(x: Int): Unit = {
+    (0: Any) == 0;
+    (0     ) == 0;
+    (0: Any) != 0;
+    (0     ) != 0;
+    ()
+  }
+
+  def fun_i0(x: Int): Unit = {
+    (x: Any) == 0;
+    (x     ) == 0;
+    (x: Any) != 0;
+    (x     ) != 0;
+    ()
+  }
+
+  def fun_o0(x: Object): Unit = {
+    (x: Any) == 0;
+    (x     ) == 0;
+    (x: Any) != 0;
+    (x     ) != 0;
+    ()
+  }
+
+  def fun_0i(y: Int): Unit = {
+    (0: Any) == y;
+    (0     ) == y;
+    (0: Any) != y;
+    (0     ) != y;
+    ()
+  }
+
+  def fun_0o(y: Object): Unit = {
+     (0: Any) == y;
+     (0     ) == y;
+     (0: Any) != y;
+     (0     ) != y;
+    ()
+  }
+
+  def fun_ii(x: Int, y: Int): Unit = {
+    (x: Any) == y;
+    (x     ) == y;
+    (x: Any) != y;
+    (x     ) != y;
+    ()
+  }
+  def fun_io(x: Int, y: Object): Unit = {
+    (x: Any) == y;
+    (x     ) == y;
+    (x: Any) != y;
+    (x     ) != y;
+    ()
+  }
+  def fun_oi(x: Object, y: Int): Unit = {
+    (x: Any) == y;
+    (x     ) == y;
+    (x: Any) != y;
+    (x     ) != y;
+    ()
+  }
+  def fun_oo(x: Object, y: Object): Unit = {
+    (x: Any) == y;
+    (x     ) == y;
+    (x: Any) != y;
+    (x     ) != y;
+    ()
+  }
+
+}