blob: be105a71aab78ef0f4aa541ff824ee919dc21b24 (
plain) (
tree)
|
|
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);
}
|