{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"})"}]}
        })
            matches!(param.kind, ty::GenericParamDefKind::Const { synthetic: true, .. })
        .count();