{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"args.next();"}]}
                    args.next();
                    substs.push(ctx.provided_kind(param_id, param, arg));
                    params.next();