From b70c49d2cde218936ffc40c088a8e60b16bc5422 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Fri, 10 Oct 2003 14:59:14 +0000
Subject: - Added bug193.scala

---
 config/list/test-pos.lst    |  1 +
 test/files/pos/bug193.scala | 74 +++++++++++++++++++++++++++++++++++++++++++++
 test/pos/bug193.scala       | 74 +++++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 149 insertions(+)
 create mode 100644 test/files/pos/bug193.scala
 create mode 100644 test/pos/bug193.scala

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;
+    ()
+  }
+
+}
-- 
cgit v1.2.3