610       if constexpr (std::is_same_v<SubprogramDetails, D>) {  in MakeSymbol()
849   SubprogramDetails &PostSubprogramStmt(const parser::Name &);
3091     if (!ultimate.has<SubprogramDetails>() &&  in ResolveSpecificsInGeneric()
3103         const auto *sd{ultimate.detailsIf<SubprogramDetails>()};  in ResolveSpecificsInGeneric()
3201   auto &details{symbol.get<SubprogramDetails>()};  in HandleStmtFunction()
3388 SubprogramDetails &SubprogramVisitor::PostSubprogramStmt(  in PostSubprogramStmt()
3395   return symbol.get<SubprogramDetails>();  in PostSubprogramStmt()
3440       if (const auto *details{extant->detailsIf<SubprogramDetails>()}) {  in CreateEntry()
3465   SubprogramDetails entryDetails;  in CreateEntry()
3528   if (!entrySymbol.has<SubprogramDetails>()) {  in PostEntryStmt()
3532   SubprogramDetails &entryDetails{entrySymbol.get<SubprogramDetails>()};  in PostEntryStmt()
3544                 [](SubprogramDetails &x) { x.set_isDummy(); },  in PostEntryStmt()
3583     symbol->get<SubprogramDetails>().set_isInterface(false);  in BeginMpSubprogram()
3586     Symbol &newSymbol{MakeSymbol(name, SubprogramDetails{})};  in BeginMpSubprogram()
3588     const auto &details{symbol->get<SubprogramDetails>()};  in BeginMpSubprogram()
3589     auto &newDetails{newSymbol.get<SubprogramDetails>()};  in BeginMpSubprogram()
3638     newSymbol.get<SubprogramDetails>().set_moduleInterface(*moduleInterface);  in BeginSubprogram()
3731     symbol = &MakeSymbol(name, SubprogramDetails{});  in PushSubprogramScope()
3740     auto &details{symbol->get<SubprogramDetails>()};  in PushSubprogramScope()
3777     PushScope(Scope::Kind::BlockData, &MakeSymbol(name, SubprogramDetails{}));  in PushBlockDataScope()
3790             &currScope().MakeSymbol(name.source, Attrs{}, SubprogramDetails{});  in GetSpecificFromGeneric()
3800       if (!specific->has<SubprogramDetails>()) {  in GetSpecificFromGeneric()
3801         specific->set_details(SubprogramDetails{});  in GetSpecificFromGeneric()
6850     if (symbol->has<SubprogramDetails>() &&  in HandleProcedureName()
7142     } else if (ultimate.has<SubprogramDetails>() ||  in CreateGeneric()
7210   if (!symbol || !symbol->has<SubprogramDetails>()) {  in AnalyzeStmtFunctionStmt()
7213   auto &details{symbol->get<SubprogramDetails>()};  in AnalyzeStmtFunctionStmt()
7441     if (auto *details{symbol->detailsIf<SubprogramDetails>()}) {  in ResolveSpecificationParts()