6436fa67e ^
1 2 3
trait A { def foo(a: A) : Unit } trait C extends A { override def foo(a: A with Any) : Unit }