blob: ca76f7ef6c1d77410cad7e540251d11324242be8 (
plain) (
blame)
1
2
3
4
5
6
7
|
object TypeUtil0 {
trait Type[+T]
implicit def WithType[S,T](implicit tpeS : Type[S], tpeT : Type[T]) : Type[S with T] = null
def as[T](x : Any)(implicit tpe : Type[T]) = null
as[Any](null)
def foo[X]() = as[X](null)
}
|