framework/tests/aliasing/ArrayInitializerTest.java

import org.checkerframework.common.aliasing.qual.Unique;

public class ArrayInitializerTest {

  void foo() {
    @Unique Object o = new Object();
    // :: error: (unique.leaked)
    Object[] ar = new Object[] {o};

    @Unique Object o2 = new Object();
    // :: error: (unique.leaked)
    Object @Unique [] ar2 = new Object[] {o2};

    Object[] arr = new Object[] {new Object()};

    Object @Unique [] arrr = new Object[2];
  }
}