{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"substs.push(ctx.provided_kind(param_id,"}]}
                    substs.push(ctx.provided_kind(param_id, param, arg));
                | (GenericArg::Const(_), GenericParamDataRef::ConstParamData(_)) => {
                    args.next();