path: root/test/files/pos/sammy_infer_argtype_subtypes.scala

trait Fun[A, B] { def apply(a: A): B }

class SamInferResult {
  def foreach[U](f: Fun[String, U]): U = ???
  def foo = foreach(println)
}