Home | History | Annotate | Download | only in source-extension 
      1 package annotator.tests;
      2 
      3 public class MethodNew {
      4   void m() {
      5     Object l = new @GUT.quals.Rep MethodNew();
      6   }
      7 
      8   void m(Object p) {
      9     Object x = new @GUT.quals.Peer MethodNew();
     10   }
     11 }
     12