1package : 2annotation @A: 3 4package : 5annotation @B: 6 7package : 8class ExplicitUpper: 9 insert-annotation Class.typeParameter 0, TypeParameter.bound 0: @A 10 11package : 12class ImplicitUpper: 13 insert-annotation Class.typeParameter 0, TypeParameter.bound 0: @B 14 15