bug845.scala

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

package test;

object Test extends Application {
  type Bar;
  trait FooImpl;

  trait Bob {
    def bar : Bar with FooImpl;
  }
  def ifn[A,B](a : A)(f : A => B) =
    if (a != null) f(a) else null;

  val bob : Bob = null;
  val bar = ifn(bob)(_.bar);
  assert(bar == null);
}