1650   if (const Symbol * overridden{FindOverriddenBinding(symbol)}) {  in CheckProcBinding()  local
1651     if (overridden->attrs().test(Attr::NON_OVERRIDABLE)) {  in CheckProcBinding()
1652       SayWithDeclaration(*overridden,  in CheckProcBinding()
1657             overridden->detailsIf<ProcBindingDetails>()}) {  in CheckProcBinding()
1658       if (!IsPureProcedure(symbol) && IsPureProcedure(*overridden)) {  in CheckProcBinding()
1659         SayWithDeclaration(*overridden,  in CheckProcBinding()
1665         SayWithDeclaration(*overridden,  in CheckProcBinding()
1670       if (isNopass != overridden->attrs().test(Attr::NOPASS)) {  in CheckProcBinding()
1671         SayWithDeclaration(*overridden,  in CheckProcBinding()
1681               SayWithDeclaration(*overridden,  in CheckProcBinding()
1689               SayWithDeclaration(*overridden,  in CheckProcBinding()
1693               SayWithDeclaration(*overridden,  in CheckProcBinding()
1700           overridden->attrs().test(Attr::PUBLIC)) {  in CheckProcBinding()
1701         SayWithDeclaration(*overridden,  in CheckProcBinding()
1705       SayWithDeclaration(*overridden,  in CheckProcBinding()