path: root/tests/pos/philippe4.scala

trait Foo[t <: Foo[t]] { self: t =>
  def foo(that: t): Boolean;
}