blob: 862a6e9d0e72a2df791020f87302b4b42e4e6783 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
class Test {
def f[T](xs: Set[T]) /* no expected type to trigger inference */ =
xs collect { case x => x }
def g[T](xs: Set[T]): Set[T] = f[T](xs) // check that f's inferred type is Set[T]
// check that this type checks:
List(1).flatMap(n => Set(1).collect { case w => w })
}
|