blob: 64afdee602d2e7b2c67edd30580724010bc548f8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
import scala.reflect.runtime.universe._
object Test {
def mani[T: TypeTag](xs: T) = xs
mani(List())
def listElMani[T: TypeTag](xs: List[T]) = xs
listElMani(List())
def foo[A, C](m : C)(implicit ev: C <:< Traversable[A], mani: TypeTag[A]): (C, A, TypeTag[A]) = (m, m.head, mani)
foo(List(1,2,3))
}
|