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