path: root/tests/untried/pos/tcpoly_infer_easy.scala

object Test {
    def test[CC[+X] <: Iterable[X], A](xs: CC[A]): CC[A] = xs
    val xs = test(List(1,2))
    val xs2: List[Int] = test(List(1,2))
}