Merge pull request scala#10833 from som-snytt/test/9244

Augment regression test for bugs 9244+11558 [ci: last-only]

Author: som-snytt

CONTRIBUTING.md

@@ -127,7 +127,8 @@ scala  -cp out Test
 ```
 
 **Flags**
-  - To specify compiler flags such as `-Werror -Xlint`, you can add a comment at the top of your source file of the form: `// scalac: -Werror -Xlint`.
+  - To specify compiler flags such as `-Werror -Xlint`, you can add a comment at the top of your source file of the form:
+    `//> using options -Werror -Xlint`
   - Similarly, a `// javac: <flags>` comment in a Java source file passes flags to the Java compiler.
   - A `// filter: <regex>` comment eliminates output lines that match the filter before comparing to the `.check` file.
   - A `// java: <flags>` comment makes a `run` test execute in a separate JVM and passes the additional flags to the `java` command.

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) => "")
+}