framework/tests/aggregate/MultiError.java

import org.checkerframework.common.aliasing.qual.Unique;
import org.checkerframework.common.reflection.qual.MethodVal;
import org.checkerframework.common.value.qual.StringVal;

public class MultiError {
  // Testing that errors from multiple checkers are issued
  // on the same compilation unit
  // :: error: (unique.location.forbidden)
  @Unique String[] array;
  // :: error: (assignment)
  @StringVal("hello") String s = "goodbye";

  @MethodVal(
      className = "c",
      methodName = "m",
      params = {0, 0})
  // :: error: (invalid.methodval)
  Object o;
}