5 files changed, 40 insertions, 0 deletions
diff --git a/test/files/neg/bug663.check b/test/files/neg/bug663.check
new file mode 100644
index 0000000000..b974b1f4c0
--- /dev/null
+++ b/test/files/neg/bug663.check
@@ -0,0 +1,7 @@
+bug663.scala:11 error: name clash between defined and inherited member:
+method asMatch:(Test.this.Node)scala.Any and
+method asMatch:(Test.this.Matchable)scala.Any in trait MatchableImpl
+have same type after erasure: (test.Test#NodeImpl)java.lang.Object
+    def asMatch(m : Node) : Any = {
+    ^
+one error found
diff --git a/test/files/neg/bug663.scala b/test/files/neg/bug663.scala
new file mode 100755
index 0000000000..797c4a300d
--- /dev/null
+++ b/test/files/neg/bug663.scala
@@ -0,0 +1,18 @@
+package test;
+trait Test {
+  type Matchable <: Node with MatchableImpl;
+  trait MatchableImpl extends NodeImpl {
+    def asMatch(node : Matchable) : Any;
+  }
+  type Node <: NodeImpl;
+  trait NodeImpl;
+  trait CoreIfImpl extends MatchableImpl {
+    // NO_CRASH: def asMatch(m : Matchable) = {
+    def asMatch(m : Node) : Any = {
+      if (m.isInstanceOf[MatchableImpl]) {
+        null;
+      } else null;
+      // NO_CRASH: null;
+    }
+  }
+}
diff --git a/test/files/neg/bug667.check b/test/files/neg/bug667.check
new file mode 100644
index 0000000000..11daa182ef
--- /dev/null
+++ b/test/files/neg/bug667.check
@@ -0,0 +1,4 @@
+bug667.scala:8 error: class Ni inherits itself
+    class Ni extends super.Ni with Ni;
+                                   ^
+one error found
diff --git a/test/files/neg/bug667.scala b/test/files/neg/bug667.scala
new file mode 100644
index 0000000000..a79bc272e4
--- /dev/null
+++ b/test/files/neg/bug667.scala
@@ -0,0 +1,10 @@
+package test;
+
+object test {
+  trait A {
+    trait Ni;
+  }
+  class B extends A {
+    class Ni extends super.Ni with Ni;
+  }
+}
diff --git a/test/files/neg/bug668.scala b/test/files/neg/bug668.scala
new file mode 100644
index 0000000000..3256037b1e
--- /dev/null
+++ b/test/files/neg/bug668.scala
@@ -0,0 +1 @@
+class Test extends Iterable