567     const characteristics::Procedure &proc,  in CheckProcedureArg()  argument
614               } else if (proc.IsPure()) {  in CheckProcedureArg()
698     const characteristics::Procedure &proc, evaluate::FoldingContext &context,  in CheckExplicitInterfaceArg()  argument
728                       object.type.Rank() == 0 && proc.IsElemental()};  in CheckExplicitInterfaceArg()
777               CheckProcedureArg(arg, proc, dummy, dummyName, context);  in CheckExplicitInterfaceArg()
787 static void RearrangeArguments(const characteristics::Procedure &proc,  in RearrangeArguments()  argument
789   CHECK(proc.HasExplicitInterface());  in RearrangeArguments()
790   if (actuals.size() < proc.dummyArguments.size()) {  in RearrangeArguments()
791     actuals.resize(proc.dummyArguments.size());  in RearrangeArguments()
792   } else if (actuals.size() > proc.dummyArguments.size()) {  in RearrangeArguments()
795         actuals.size(), proc.dummyArguments.size());  in RearrangeArguments()
812     for (const auto &dummy : proc.dummyArguments) {  in RearrangeArguments()
843     const characteristics::Procedure &proc, evaluate::ActualArguments &actuals,  in CheckElementalConformance()  argument
856     const auto &dummy{proc.dummyArguments.at(index++)};  in CheckElementalConformance()
890     const characteristics::Procedure &proc, evaluate::ActualArguments &actuals,  in CheckExplicitInterface()  argument
896   RearrangeArguments(proc, actuals, messages);  in CheckExplicitInterface()
901       const auto &dummy{proc.dummyArguments.at(index++)};  in CheckExplicitInterface()
903         CheckExplicitInterfaceArg(*actual, dummy, proc, localContext, scope,  in CheckExplicitInterface()
919     if (proc.IsElemental() && !buffer.AnyFatalError()) {  in CheckExplicitInterface()
920       CheckElementalConformance(messages, proc, actuals, localContext);  in CheckExplicitInterface()
926 parser::Messages CheckExplicitInterface(const characteristics::Procedure &proc,  in CheckExplicitInterface()  argument
930       proc, actuals, context, &scope, intrinsic, true);  in CheckExplicitInterface()
933 bool CheckInterfaceForGeneric(const characteristics::Procedure &proc,  in CheckInterfaceForGeneric()  argument
937       proc, actuals, context, nullptr, nullptr, allowActualArgumentConversions)  in CheckInterfaceForGeneric()
941 void CheckArguments(const characteristics::Procedure &proc,  in CheckArguments()  argument
945   bool explicitInterface{proc.HasExplicitInterface()};  in CheckArguments()
966         CheckExplicitInterface(proc, actuals, context, scope, intrinsic)};  in CheckArguments()