Add regression test for #9228

Fixes #9228

Author: odersky

tests/pos/i9228.scala

@@ -0,0 +1,18 @@
+object ABug {
+
+  class Graph { class Node }
+
+  def ltol[O](tb: List[O]): List[O] = ???
+
+  def gtoll(using g: Graph): List[List[g.Node]] = ???
+
+  object graph extends Graph
+  import graph._
+  given graph.type = graph
+
+  val osq: List[List[Node]] = gtoll
+
+  val r: List[List[Any ]] = ltol(gtoll)
+  val q: List[List[Node]] = ltol(gtoll)
+
+}