Home | History | Annotate | Download | only in source-extension
      1 package annotator.tests;
      2 
      3 public class FieldNew {
      4   @GUT.quals.Peer
      5   Object f = new @GUT.quals.Rep FieldNew();
      6 }
      7