From 538e22b80c657dcc3326959a8601cd0a0da78e37 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 25 Jul 2007 15:27:04 +0000
Subject: fixed bugs 1237, 1241

---
 test/files/pos/bug1237.scala | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 test/files/pos/bug1237.scala

(limited to 'test/files/pos')

diff --git a/test/files/pos/bug1237.scala b/test/files/pos/bug1237.scala
new file mode 100644
index 0000000000..01f656f580
--- /dev/null
+++ b/test/files/pos/bug1237.scala
@@ -0,0 +1,15 @@
+class HelloWorld {
+  def main(args: Array[String]) {
+
+    object TypeBool;
+
+    trait Fct
+    {
+      def g(x : int) = TypeBool // breaks.
+
+      //    def g(x : int) = 3 // fine.
+    }
+
+    ()
+  }
+}
-- 
cgit v1.2.3