Fixed bugs. Generalized implicit lookup.

3 files changed, 41 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);
+    }
+  }
+}
diff --git a/test/files/pos/bug690.scala b/test/files/pos/bug690.scala
new file mode 100755
index 0000000000..a93c54f007
--- /dev/null
+++ b/test/files/pos/bug690.scala
@@ -0,0 +1,14 @@
+package test;
+trait test {
+  type T;
+  trait Manager {
+    type T <: test.this.T;
+    def foo(t : T) = {};
+  }
+  object M0 extends Manager {
+    override type T = test.this.T;
+    override def foo(t : T) = super.foo(t);
+  }
+  def t : T;
+  M0.foo(t);
+}
diff --git a/test/files/pos/bug694.scala b/test/files/pos/bug694.scala
new file mode 100755
index 0000000000..96eb55f5c0
--- /dev/null
+++ b/test/files/pos/bug694.scala
@@ -0,0 +1,10 @@
+object test3 {
+  trait Type[T];
+  case object IntType extends Type[Int];
+  case object StringType extends Type[String];
+
+  def f[T](t : Type[T]) : T = t match {
+  case IntType => 10;
+  case StringType => "hello";
+  }
+}
\ No newline at end of file