trait A extends scala.Object with {} module test { def x: A = x; }