From 3f4bdb54a236727fb1d93ba2b445850d76064679 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Wed, 7 Jan 2004 18:05:09 +0000
Subject: - Added bug 257

---
 test/files/run/bugs.check |  5 +++++
 test/files/run/bugs.scala | 20 ++++++++++++++++++++
 2 files changed, 25 insertions(+)

diff --git a/test/files/run/bugs.check b/test/files/run/bugs.check
index f8820edba7..bdada64123 100644
--- a/test/files/run/bugs.check
+++ b/test/files/run/bugs.check
@@ -66,6 +66,11 @@ true
 <<< bug 250
 >>> bug 250
 
+<<< bug 257
+hello
+hello
+>>> bug 257
+
 <<< bug 266
 hello
 4
diff --git a/test/files/run/bugs.scala b/test/files/run/bugs.scala
index 326d229c0f..bb3bb7f1d8 100644
--- a/test/files/run/bugs.scala
+++ b/test/files/run/bugs.scala
@@ -294,6 +294,25 @@ object Bug250Test {
   }
 }
 
+//############################################################################
+// Bug 257
+
+object Bug257Test {
+  def sayhello(): Unit = { System.out.println("hello"); };
+
+  def f1(x: Unit): Unit = ();
+  def f2(x: Unit)(y: Unit): Unit = ();
+
+  def f(def x: Unit) = {
+    f1(x);
+    f2(x);
+  }
+
+  def main(args: Array[String]): Unit = {
+    f(sayhello())
+  }
+}
+
 //############################################################################
 // Bug 266
 
@@ -388,6 +407,7 @@ object Test  {
     test(226, Bug226Test.main(args));
     test(233, Bug233Test.main(args));
     test(250, Bug250Test.main(args));
+    test(257, Bug257Test.main(args));
     test(266, Bug266Test.main(args));
 
     if (errors > 0) {
-- 
cgit v1.2.3