Fixed bugs. Generalized implicit lookup.

1 files changed, 17 insertions, 0 deletions

diff --git a/test/files/pos/bug661.scala b/test/files/pos/bug661.scala
new file mode 100644
index 0000000000..3a447241fe
--- /dev/null
+++ b/test/files/pos/bug661.scala
@@ -0,0 +1,17 @@
+package test;
+
+object test {
+  abstract class A {
+    abstract class C {
+      type M;
+      def foo(n : M) : Unit = {}
+    }
+  }
+  trait B extends A {
+    type N;
+    trait C extends super.C {
+      type M = N;
+      override def foo(n : M) : Unit = super.foo(n);
+    }
+  }
+}