bug684.scala

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

package test;
trait Test {
  trait Ti;
  class Foo;
  def foo(t : Ti) = t match {
  case t : Foo => true;
  case _ => false;
  }
  class Bar extends Foo with Ti;
  assert(foo(new Bar));
}