{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"krate.ws_data.clone(),"}]}
                        krate.ws_data.clone(),
                        krate.extra.clone(),
                        krate.cfg_options.clone(),