package test;
trait Test {
  type Bar;
  trait FooImpl;
  trait Bob {
    def bar : Bar with FooImpl;
  }
  def ifn[A,B](a : A)(f : A => B): B =
    if (a != null) f(a) else null
  val bob : Bob = null;
  val bar = ifn(bob)(_.bar);
  assert(bar == null);
}