1 package java.lang: 2 annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4 package annotator.tests: 5 class TypeCastSimple: 6 7 method <init>()V: 8 9 method foo(Ljava/lang/Object;)V: 10 typecast #1: @java.lang.UnderInitialization 11 12
