bug696.scala

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

object TypeUtil0 {
  trait Type[+T];
  implicit def WithType[S,T](implicit tpeS : Type[S], tpeT : Type[T]) : Type[S with T] = null
  as[Any](null);
  def as[T](x : Any)(implicit tpe : Type[T]) = null;
}