checker/tests/aggregate/NullnessAndRegex.java

// Make sure that we actually receive errors from sub-checkers.

import org.checkerframework.checker.i18n.qual.Localized;
import org.checkerframework.checker.regex.qual.Regex;

public class NullnessAndRegex {
  // :: error: (assignment)
  @Regex String s1 = "De(mo";
  // :: error: (assignment)
  Object f = null;
  // :: error: (assignment)
  @Regex String s2 = "De(mo";

  void localized(@Localized String s) {}

  void method() {
    // :: error: (argument)
    localized("ldskjfldj"); // error
  }
}