package GUT.quals: annotation @Peer: annotation @Rep: package annotator.tests: class FieldNew: field f: type: @GUT.quals.Peer package annotator.tests: class FieldNew: field f: new *0: @GUT.quals.Rep