class A
A
AnyRef {
  def <init>(): A
  def foo: Nothing
}