framework/tests/annotationclassloader/LoaderTest.java

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

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