annotation-file-utilities/tests/LocalArray.goal

package annotator.tests;

public class LocalArray {

  public void foo() {
    @java.lang.UnderInitialization Object @java.lang.Tainted [] o = null;
    System.out.println(o);
  }
}