{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"args.next();"}]}
                        args.next();
                        substs.push(ctx.provided_type_like_const(const_ty, konst).cast(Interner));
                        params.next();