package java.lang:
annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})

package annotator.tests:
class FieldSimple:

    field field:
      type: @java.lang.UnderInitialization

    method <init>()V: