1package : 2annotation @NonNull: 3 4package : 5class NewInAnnotatedVariable: 6 7 field b1: 8 insert-annotation Variable.initializer, NewClass.identifier: @NonNull 9 10 field b2: 11 insert-annotation Variable.initializer, NewClass.identifier, AnnotatedType.underlyingType: @NonNull 12 13 field b4: 14 insert-annotation Variable.type, ArrayType.type: @NonNull 15 insert-annotation Variable.initializer, NewArray.type 0: @NonNull 16 insert-annotation Variable.initializer, NewArray.type 1: @NonNull 17 insert-annotation Variable.type: @NonNull 18 19