tcpoly_method.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 6 行

trait Iterable[m[+x], +t] {
  def flatMap[resColl[+x] <: Iterable[resColl, x], s](f: t => resColl[s]): resColl[s]
  
  def foo[a[x]] = "a"
  val x = foo[List]
}