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;

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

    void localized(@Localized String s) {}

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