Merge pull request scala#9402 from joroKr21/test/10272

Fix scala/bug#10272: Add regression test

Author: dwijnand

test/files/pos/t10272.scala

@@ -0,0 +1,14 @@
+object Test {
+  sealed trait AbstractProven {
+    type Proven[+A, TypeClass[_]] <: A
+  }
+
+  val abstractProven: AbstractProven = new AbstractProven {
+    override type Proven[+A, TypeClass[_]] = A
+  }
+
+  import abstractProven._
+  def x(a: Any Proven Ordering): Unit = a match {
+    case i: Int =>
+  }
+}