44     return INVARIANT || semantics::IsKindTypeParameter(inq.parameter());  in operator ()()
46   bool operator()(const semantics::Symbol &symbol) const {  in operator ()()
50         ultimate.has<semantics::TypeParamDetails>() ||  in operator ()()
52             !symbol.attrs().test(semantics::Attr::VALUE));  in operator ()()
55   bool operator()(const semantics::ParamValue &param) const {  in operator ()()
88                 !sym.attrs().test(semantics::Attr::VALUE)));  in operator ()()
212   bool operator()(const semantics::Symbol &symbol) {  in operator ()()
216             ultimate.detailsIf<semantics::AssocEntityDetails>()}) {  in operator ()()
228     } else if (!ultimate.attrs().test(semantics::Attr::TARGET)) {  in operator ()()
294   bool CheckVarOrComponent(const semantics::Symbol &symbol) {  in CheckVarOrComponent()
331 bool IsInitialProcedureTarget(const semantics::Symbol &symbol) {  in IsInitialProcedureTarget()
335           [](const semantics::SubprogramDetails &subp) {  in IsInitialProcedureTarget()
338           [](const semantics::SubprogramNameDetails &) { return true; },  in IsInitialProcedureTarget()
339           [&](const semantics::ProcEntityDetails &proc) {  in IsInitialProcedureTarget()
340             return !semantics::IsPointer(ultimate) && !proc.isDummy();  in IsInitialProcedureTarget()
397     const semantics::Scope *instantiation) {  in NonPointerInitializationExpr()
506       const semantics::Scope &s, FoldingContext &context)  in CheckSpecificationExprHelper()
512   Result operator()(const semantics::Symbol &symbol) const {  in operator ()()
515             ultimate.detailsIf<semantics::AssocEntityDetails>()}) {  in operator ()()
517     } else if (semantics::IsNamedConstant(ultimate) ||  in operator ()()
526       if (ultimate.attrs().test(semantics::Attr::OPTIONAL)) {  in operator ()()
530           ultimate.attrs().test(semantics::Attr::INTENT_OUT)) {  in operator ()()
533       } else if (ultimate.has<semantics::ObjectEntityDetails>()) {  in operator ()()
541                    ultimate.detailsIf<semantics::ObjectEntityDetails>()}) {  in operator ()()
599       if (!semantics::IsPureProcedure(ultimate)) {  in operator ()()
603       if (semantics::IsStmtFunction(ultimate)) {  in operator ()()
660   const semantics::Scope &scope_;
671     const A &x, const semantics::Scope &scope, FoldingContext &context) {  in CheckSpecificationExpr()
679     const Expr<SomeType> &, const semantics::Scope &, FoldingContext &);
681     const Expr<SomeInteger> &, const semantics::Scope &, FoldingContext &);
683     const Expr<SubscriptInteger> &, const semantics::Scope &, FoldingContext &);
685     const semantics::Scope &, FoldingContext &);
687     const semantics::Scope &, FoldingContext &);
689     const std::optional<Expr<SubscriptInteger>> &, const semantics::Scope &,
702   Result operator()(const semantics::Symbol &symbol) const {  in operator ()()
704     if (ultimate.attrs().test(semantics::Attr::CONTIGUOUS)) {  in operator ()()
711     } else if (semantics::IsPointer(ultimate) ||  in operator ()()
712         semantics::IsAssumedShape(ultimate)) {  in operator ()()
715                    ultimate.detailsIf<semantics::ObjectEntityDetails>()}) {  in operator ()()