trait C extends B { def x = 3 }