From f7a989f23a40541d6f2b6de88dca3c55e6d7376f Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Tue, 30 May 2006 10:47:58 +0000
Subject: fixed bugs615 and 617

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

(limited to 'test/files/pos/bug607.scala')

diff --git a/test/files/pos/bug607.scala b/test/files/pos/bug607.scala
new file mode 100644
index 0000000000..42c3a15a85
--- /dev/null
+++ b/test/files/pos/bug607.scala
@@ -0,0 +1,11 @@
+object Test
+{
+        trait Foo { type T }
+        object FooX extends Foo { type T = X; trait X }
+
+        def test(x : Foo { type T = FooX.X }) = {}
+
+        def main(argv : Array[String]) : Unit = {
+                test(FooX)
+        }
+}
-- 
cgit v1.2.3