2241   const Procedure *proc1{checkHelper.Characterize(symbol1)};  in Check()  local
2243   if (!proc1 || !proc2) {  in Check()
2246   if (proc1->attrs.test(Procedure::Attr::Pure) !=  in Check()
2251   if (proc1->attrs.test(Procedure::Attr::Elemental) !=  in Check()
2256   if (proc1->attrs.test(Procedure::Attr::BindC) !=  in Check()
2261   if (proc1->functionResult && proc2->functionResult &&  in Check()
2262       *proc1->functionResult != *proc2->functionResult) {  in Check()
2290             *arg1, *arg2, proc1->dummyArguments[i], proc2->dummyArguments[i]);  in Check()
2304           [&](const DummyProcedure &proc1, const DummyProcedure &proc2) {  in CheckDummyArg()  argument
2305             CheckDummyProcedure(symbol1, symbol2, proc1, proc2);  in CheckDummyArg()
2344     const Symbol &symbol2, const DummyProcedure &proc1,  in CheckDummyProcedure()  argument
2346   if (!CheckSameIntent(symbol1, symbol2, proc1.intent, proc2.intent)) {  in CheckDummyProcedure()
2347   } else if (!CheckSameAttrs(symbol1, symbol2, proc1.attrs, proc2.attrs)) {  in CheckDummyProcedure()
2348   } else if (proc1 != proc2) {  in CheckDummyProcedure()
2444     const SourceName &name, GenericKind kind, const Symbol &proc1,  in SayNotDistinguishable()  argument
2446   std::string name1{proc1.name().ToString()};  in SayNotDistinguishable()
2450     if (proc1.owner().IsDerivedType()) {  in SayNotDistinguishable()
2451       name1 = proc1.owner().GetName()->ToString() + '%' + name1;  in SayNotDistinguishable()
2463     msg = &context_.Say(*GetTopLevelUnitContaining(proc1).GetName(),  in SayNotDistinguishable()
2467   AttachDeclaration(*msg, scope, proc1);  in SayNotDistinguishable()