4806   for (const auto &[generic, bindingName] : genericBindings_) {  in Post()
4811     auto [it, inserted]{specifics.insert(bindingName->source)};  in Post()
4813       Say(*bindingName, // C773  in Post()
4815           bindingName->source, generic->name())  in Post()
4819     auto *symbol{FindInTypeOrParents(*bindingName)};  in Post()
4821       Say(*bindingName, // C772  in Post()
4824       SayWithDecl(*bindingName, *symbol, // C772  in Post()
4828           *symbol, bindingName->source);  in Post()
4846     auto &bindingName{std::get<parser::Name>(declaration.t)};  in Post()  local
4848     const parser::Name &procedureName{optName ? *optName : bindingName};  in Post()
4853     if (auto *s{MakeTypeSymbol(bindingName, ProcBindingDetails{*procedure})}) {  in Post()
4866     auto &bindingName{std::get<parser::Name>(declaration.t)};  in CheckBindings()  local
4867     if (Symbol * binding{FindInScope(bindingName)}) {  in CheckBindings()
4896     for (auto &bindingName : x.bindingNames) {  in Post()  local
4898               MakeTypeSymbol(bindingName, ProcBindingDetails{*interface})}) {  in Post()
4965   for (const parser::Name &bindingName : bindingNames) {  in Pre()  local
4966     genericBindings_.emplace(genericSymbol, &bindingName);  in Pre()