{ abstract trait Foo extends AnyRef { def a: Int }; () } { abstract trait Foo extends AnyRef { def a: Int }; () }