1 files changed, 36 insertions, 0 deletions
diff --git a/test/files/run/t8607.scala b/test/files/run/t8607.scala
new file mode 100644
index 0000000000..1b8ef9bbd0
--- /dev/null
+++ b/test/files/run/t8607.scala
@@ -0,0 +1,36 @@
+package p1 {
+  private[p1] trait B extends Any {
+    def a: Any = ""
+  }
+ 
+  class C(val value: Int) extends AnyVal with B {
+    // def b = ""
+  }
+}
+
+object Test {
+  def main(args: Array[String]) {
+    val c = new p1.C(42)
+    c.a
+    /*
+    new p1.C.<init>(
+      c.$asInstanceOf[scala.this.Int]()
+    ).a();
+
+
+    new p1.C.<init>(
+      new p1.C.<init>(
+        c.$asInstanceOf[scala.this.Int]()
+      ).$asInstanceOf[ErasedValueType(class C, scala.this.Int)]()
+       .$asInstanceOf[scala.this.Int]()
+    ).a();
+
+    new p1.C.<init>(
+      new p1.C.<init>(c)
+        .$asInstanceOf[scala.this.Int]()
+        .$asInstanceOf[scala.this.Int]()
+      ).a();
+
+    */
+  }
+}