javatests/com/google/turbine/lower/testdata/annouse8.test

=== pkg/Super.java ===
package pkg;

public class Super {
  void m() {}
}

=== pkg/Simple.java ===
package pkg;

public class Simple extends Super {
  @Override void m() {}
}