framework/tests/value/RegexPatternSyntaxException.java

// A test for malformed @MatchesRegex annotations.

import org.checkerframework.common.value.qual.*;

public class RegexPatternSyntaxException {
  // :: warning: invalid.matches.regex
  void stringConstants(@MatchesRegex("(a*") String a) {}
}