val x = new { } with { }
trait A
val y = new { } with A