Augment regression test

Author: Som Snytt

test/files/pos/t11558.scala

@@ -3,3 +3,11 @@ class Test {
   trait S[T] { def map[R](f: F1[_ >: T, _ <: R]): S[R] }
   (??? : S[Int]).map(_.toString) // check that map's type param is inferred (should be String)
 }
+
+object Test_9244 {
+  trait F1[T1, R] { def apply(a1: T1): R }
+
+  def cycle[T](function: F1[? >: T, ? <: T]): Unit = ???
+
+  def t9244 = cycle((_: String) => "")
+}