Fix #9567: Fixed by the previous commits in this PR.

Author: smarter

tests/pos/i9567.scala

@@ -0,0 +1,22 @@
+// object Test {
+//   val x: Int => Int = identity
+// }
+
+trait Foo[F[_]] {
+  def foo[G[x] >: F[x]]: G[Unit]
+}
+
+trait M[A] {
+  def bla: Int = 1
+  def baz(f: Int => Int): Int = f(1)
+}
+
+object Test {
+  def bar(x: Foo[M]): Unit = {
+    // error: value bla is not a member of G[Unit], where:    G is a type variable with constraint >: M and <: [x] =>> Any
+    x.foo.bla
+
+    // error: value bla is not a member of G[Unit], where:    G is a type variable with constraint >: M and <: [x] =>> Any
+    x.foo.baz(x => x)
+  }
+}