tests/source-extension/MethodNew.goal

package annotator.tests;

public class MethodNew {
  void m() {
    Object l = new @GUT.quals.Rep MethodNew();
  }

  void m(Object p) {
    Object x = new @GUT.quals.Peer MethodNew();
  }
}