framework/tests/aliasing/ForbiddenUniqueTest.java

import java.util.List;
import org.checkerframework.common.aliasing.qual.Unique;

public class ForbiddenUniqueTest {

  // :: error: (unique.location.forbidden)
  @Unique int field;

  void notAllowed() {
    // :: error: (unique.location.forbidden)
    @Unique Object[] arr;
    // :: error: (type.argument) :: error: (unique.location.forbidden)
    List<@Unique Object> list;
  }

  void allowed() {
    Object @Unique [] ar;
    @Unique List<Object> l;
  }
}