path: root/test/files/run/t5256c.check

class A$1
Test.A$1
java.lang.Object {
  def foo(): Nothing
  def <init>(): A$1
}