1 package GUT.quals: 2 annotation @Peer: 3 annotation @Rep: 4 5 package annotator.tests: 6 class FieldNew: 7 field f: 8 type: @GUT.quals.Peer 9 10 package annotator.tests: 11 class FieldNew: 12 field f: 13 new *0: @GUT.quals.Rep 14 15