fn resolve_core_macro( db: &dyn SourceDatabase, core_def_map: &DefMap, modules: &[Symbol], name: Symbol, ) -> Option<MacroId>