1package java.lang: 2annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) 3 4package annotator.tests: 5class SameName: 6 7 method <init>()V: 8 9 method m()V: 10 local a *1: 11 type: @java.lang.UnderInitialization 12 13