{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"destination_interval,"}]}
                                    destination_interval,
                                    generic_args,
                                    &args,