555   ParserContext parserContext = ParserContext::Global;  member in __anonbc0fc15d0111::Parser
1085       if (parserContext == ParserContext::Rewrite) {  in parseResultDecl()
1264   llvm::SaveAndRestore<ParserContext> saveCtx(parserContext, declContext);  in parseUserConstraintOrRewriteDecl()
1437   llvm::SaveAndRestore<ParserContext> saveCtx(parserContext,  in parsePatternDecl()
1758   bool allowNonCoreConstraints = parserContext == ParserContext::Constraint;  in parseArgOrResultConstraint()
2002   bool allowEmptyName = parserContext != ParserContext::Rewrite;  in parseOperationExpr()
2025     if (parserContext != ParserContext::Rewrite) {  in parseOperationExpr()
2101   } else if (parserContext != ParserContext::Rewrite) {  in parseOperationExpr()
2267   if (parserContext == ParserContext::Constraint)  in parseEraseStmt()
2341   if (parserContext == ParserContext::Constraint)  in parseReplaceStmt()
2356   llvm::SaveAndRestore<ParserContext> saveCtx(parserContext,  in parseReplaceStmt()
2407   if (parserContext == ParserContext::Constraint)  in parseRewriteStmt()
2424   llvm::SaveAndRestore<ParserContext> saveCtx(parserContext,  in parseRewriteStmt()
2551   bool allowNonCoreConstraints = parserContext == ParserContext::Constraint;  in createArgOrResultVariableDecl()
2674   if (parserContext == ParserContext::Rewrite) {  in createCallExpr()