1 package GUT.quals: 2 annotation @Rep: 3 annotation @Peer: 4 annotation @Any: 5 6 package annotator.tests: 7 class FieldNewComplex: 8 field f: 9 new *1: @GUT.quals.Peer 10 11 package annotator.tests: 12 class FieldNewComplex: 13 field f: 14 new *2: @GUT.quals.Rep 15 16 package annotator.tests: 17 class FieldNewComplex: 18 method m(Lannotator/tests/FieldNewComplex;Lannotator/tests/FieldNewComplex;Lannotator/tests/FieldNewComplex;)Lannotator/tests/FieldNewComplex;: 19 parameter 1: 20 type: @GUT.quals.Peer 21 22 package annotator.tests: 23 class FieldNewComplex: 24 field f: 25 new *0: @GUT.quals.Peer 26 27 package annotator.tests: 28 class FieldNewComplex: 29 field f: 30 type: @GUT.quals.Rep 31 32 package annotator.tests: 33 class FieldNewComplex: 34 method m(Lannotator/tests/FieldNewComplex;Lannotator/tests/FieldNewComplex;Lannotator/tests/FieldNewComplex;)Lannotator/tests/FieldNewComplex;: 35 return: @GUT.quals.Rep 36 37 package annotator.tests: 38 class FieldNewComplex: 39 method m(Lannotator/tests/FieldNewComplex;Lannotator/tests/FieldNewComplex;Lannotator/tests/FieldNewComplex;)Lannotator/tests/FieldNewComplex;: 40 parameter 2: 41 type: @GUT.quals.Rep 42 43 package annotator.tests: 44 class FieldNewComplex: 45 method m(Lannotator/tests/FieldNewComplex;Lannotator/tests/FieldNewComplex;Lannotator/tests/FieldNewComplex;)Lannotator/tests/FieldNewComplex;: 46 parameter 0: 47 type: @GUT.quals.Peer 48