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