23 namespace characteristics = Fortran::evaluate::characteristics;
76     const characteristics::TypeAndShape &dummyType,  in PadShortCharacterActual()
77     characteristics::TypeAndShape &actualType,  in PadShortCharacterActual()
106     const characteristics::TypeAndShape &dummyType,  in ConvertIntegerActual()
107     characteristics::TypeAndShape &actualType,  in ConvertIntegerActual()
139 static void CheckExplicitDataArg(const characteristics::DummyDataObject &dummy,  in CheckExplicitDataArg()
141     characteristics::TypeAndShape &actualType, bool isElemental,  in CheckExplicitDataArg()
153                    characteristics::TypeAndShape::Attr::AssumedRank)) {  in CheckExplicitDataArg()
155                    characteristics::TypeAndShape::Attr::AssumedShape) &&  in CheckExplicitDataArg()
177       characteristics::TypeAndShape::Attr::AssumedSize)};  in CheckExplicitDataArg()
179       characteristics::TypeAndShape::Attr::AssumedSize)};  in CheckExplicitDataArg()
181       dummy.attrs.test(characteristics::DummyDataObject::Attr::Asynchronous)};  in CheckExplicitDataArg()
183       dummy.attrs.test(characteristics::DummyDataObject::Attr::Volatile)};  in CheckExplicitDataArg()
185       dummy.attrs.test(characteristics::DummyDataObject::Attr::Value)};  in CheckExplicitDataArg()
277           characteristics::TypeAndShape::Attr::AssumedShape)) {  in CheckExplicitDataArg()
353       dummy.attrs.test(characteristics::DummyDataObject::Attr::Pointer)};  in CheckExplicitDataArg()
355       dummy.attrs.test(characteristics::DummyDataObject::Attr::Contiguous)};  in CheckExplicitDataArg()
358       characteristics::TypeAndShape::Attr::AssumedRank)};  in CheckExplicitDataArg()
360       characteristics::TypeAndShape::Attr::AssumedShape)};  in CheckExplicitDataArg()
381       dummy.attrs.test(characteristics::DummyDataObject::Attr::Allocatable)};  in CheckExplicitDataArg()
499     const characteristics::DummyProcedure &proc, const std::string &dummyName,  in CheckProcedureArg()
502   const characteristics::Procedure &interface{proc.procedure.value()};  in CheckProcedureArg()
505         proc.attrs.test(characteristics::DummyProcedure::Attr::Pointer)};  in CheckProcedureArg()
510     if (auto argChars{characteristics::DummyArgument::FromActual(  in CheckProcedureArg()
514                 std::get_if<characteristics::DummyProcedure>(&argChars->u)}) {  in CheckProcedureArg()
515           characteristics::Procedure &argInterface{argProc->procedure.value()};  in CheckProcedureArg()
517               characteristics::Procedure::Attr::NullPointer);  in CheckProcedureArg()
521                 characteristics::Procedure::Attr::Elemental);  in CheckProcedureArg()
523                          characteristics::Procedure::Attr::Elemental)) {  in CheckProcedureArg()
531                   characteristics::Procedure::Attr::NullPointer);  in CheckProcedureArg()
536             argInterface.attrs.reset(characteristics::Procedure::Attr::Pure);  in CheckProcedureArg()
599     const characteristics::DummyArgument &dummy,  in CheckExplicitInterfaceArg()
600     const characteristics::Procedure &proc, evaluate::FoldingContext &context,  in CheckExplicitInterfaceArg()
609           [&](const characteristics::DummyDataObject &object) {  in CheckExplicitInterfaceArg()
611               if (auto type{characteristics::TypeAndShape::Characterize(  in CheckExplicitInterfaceArg()
646           [&](const characteristics::DummyProcedure &proc) {  in CheckExplicitInterfaceArg()
649           [&](const characteristics::AlternateReturn &) {  in CheckExplicitInterfaceArg()
656 static void RearrangeArguments(const characteristics::Procedure &proc,  in RearrangeArguments()
708     const characteristics::Procedure &proc, evaluate::ActualArguments &actuals,  in CheckExplicitInterface()
740 parser::Messages CheckExplicitInterface(const characteristics::Procedure &proc,  in CheckExplicitInterface()
746 bool CheckInterfaceForGeneric(const characteristics::Procedure &proc,  in CheckInterfaceForGeneric()
753 void CheckArguments(const characteristics::Procedure &proc,  in CheckArguments()