{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"None"}]}
            None => Crate::core(db).unwrap_or_else(|| db.all_crates()[0].into()),
            Some(module) => module.krate(),
        }