{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"arg_tys.push(arg.clone());"}]}
                    arg_tys.push(arg.clone());
                    };
                    arg.cast(Interner)