2 files changed, 55 insertions, 0 deletions
diff --git a/test/files/pos/t5210.scala b/test/files/pos/t5210.scala
new file mode 100644
index 0000000000..e85037a902
--- /dev/null
+++ b/test/files/pos/t5210.scala
@@ -0,0 +1,10 @@
+object WithOpTest {
+  trait WithOp extends Cloneable {
+    def f: this.type = this
+    def g1: this.type = f
+    def g2: this.type = {
+      val t = f
+      t
+    }
+  }
+}
diff --git a/test/files/pos/t5777.scala b/test/files/pos/t5777.scala
new file mode 100644
index 0000000000..24cea36163
--- /dev/null
+++ b/test/files/pos/t5777.scala
@@ -0,0 +1,45 @@
+// /scala/trac/5777/a.scala
+// Wed May  9 08:44:57 PDT 2012
+
+trait Ring {
+  trait E
+}
+
+class Poly[C <: Ring](val ring: C) extends Ring
+// This definition of Poly triggers the same failure on *both* versions
+// class Poly(val ring: Ring) extends Ring
+
+object BigInt extends Ring
+
+object MyApp {
+  val r = new Poly(BigInt)
+
+  implicitly[r.ring.E <:< BigInt.E]
+
+  // fail on 2.10, works on 2.9.2
+  (null.asInstanceOf[BigInt.E] : r.ring.E)
+
+  // works on both versions
+  val r1 = new Poly[BigInt.type](BigInt)
+  (null.asInstanceOf[BigInt.E] : r1.ring.E)
+
+  // Oddly, -Xprint:typer reports that r and r1 have the same inferred type.
+  //
+  // private[this] val r: Poly[BigInt.type] = new Poly[BigInt.type](BigInt);
+  // <stable> <accessor> def r: Poly[BigInt.type] = MyApp.this.r;
+  // (null.asInstanceOf[BigInt.E]: MyApp.r.ring.E);
+  // private[this] val r1: Poly[BigInt.type] = new Poly[BigInt.type](BigInt);
+  // <stable> <accessor> def r1: Poly[BigInt.type] = MyApp.this.r1;
+  // (null.asInstanceOf[BigInt.E]: MyApp.r1.ring.E)
+
+  // diff typer-2.9.2.txt typer-2.10.txt
+  // ...
+  // ---
+  // >   object MyApp extends scala.AnyRef {
+  // >     def <init>(): MyApp.type = {
+  // >       MyApp.super.<init>();
+  // 30c30
+  // <     scala.this.Predef.implicitly[<:<[BigInt.E,MyApp.r.ring.E]](scala.this.Predef.conforms[BigInt.E]);
+  // ---
+  // >     scala.this.Predef.implicitly[<:<[BigInt.E,MyApp.r.ring.E]]();
+}