@Override protected boolean checkLocal() { TypeNode targetType = targetExpr.getType(); if (!(targetType instanceof MapTypeNode)) { targetExpr.reportError("This argument to map range expression must be of type map<S,T>"); return false; } return true; }