public TypePattern maybeParseDominatesPattern(Parser parser) {
PatternParser patternParser = new PatternParser(tokenSource);
try {
if (patternParser.maybeEatIdentifier("dominates")) {
// there is no eof check here
return patternParser.parseTypePattern();
} else {
return null;
}