2 files changed, 33 insertions, 0 deletions
diff --git a/test/files/pos/t5702-pos-infix-star.scala b/test/files/pos/t5702-pos-infix-star.scala
new file mode 100644
index 0000000000..756bcdd8de
--- /dev/null
+++ b/test/files/pos/t5702-pos-infix-star.scala
@@ -0,0 +1,15 @@
+
+object Test {
+  case class *(a: Int, b: Int)
+  type Star = *
+  case class P(a: Int, b: Star) // alias still required
+
+  def main(args: Array[String]) {
+    val v = new *(6,7)
+    val x * y = v
+    printf("%d,%d\n",x,y)
+    val p = P(5, v)
+    val P(a, b * c) = p
+    printf("%d,%d,%d\n",a,b,c)
+  }
+}
diff --git a/test/files/pos/virtpatmat_partialfun_nsdnho.scala b/test/files/pos/virtpatmat_partialfun_nsdnho.scala
new file mode 100644
index 0000000000..f79e82813c
--- /dev/null
+++ b/test/files/pos/virtpatmat_partialfun_nsdnho.scala
@@ -0,0 +1,18 @@
+class Test {
+  // m.$minus(1)
+  // at scala.Predef$.assert(Predef.scala:185)
+  // at scala.tools.nsc.Global.assert(Global.scala:187)
+  // at scala.tools.nsc.typechecker.SuperAccessors$SuperAccTransformer.transform(SuperAccessors.scala:291)
+  val a: (Map[Int, Int] => (Any => Any)) = { m => { case _ => m - 1} }
+
+  // patmat-crash.scala:9: error: erroneous or inaccessible type
+  val b: (Int => (Any => Any)) = { m => { case _ => m } }
+
+  // no-symbol does not have an owner (this is a bug: scala version 2.10.0-20120420-170445-56c1f29250)
+  // at scala.reflect.internal.SymbolTable.abort(SymbolTable.scala:45)
+  // at scala.tools.nsc.Global.abort(Global.scala:202)
+  // at scala.reflect.internal.Symbols$NoSymbol.owner(Symbols.scala:3031)
+  // at scala.tools.nsc.typechecker.SuperAccessors$SuperAccTransformer.hostForAccessorOf(SuperAccessors.scala:474)
+  // at scala.tools.nsc.typechecker.SuperAccessors$SuperAccTransformer.needsProtectedAccessor(SuperAccessors.scala:457)
+  val c: (Int => (Any => Any)) = { m => { case _ => m.toInt } }
+}
+\ No newline at end of file