{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"def_map_work_sender.send((krate,"}]}
        def_map_work_sender.send((krate, name)).ok();
        let name = crate_name(db, krate);
    }