1 2 3 4 5 6 7 8
trait C { def p: Any } trait A { self: C { def p: String } => def f(b: => Unit): Unit = {} f { p } }