trait Y
abstract class X(x: Int) { self: Y => x }