pub fn core_module(db: &dyn Database) -> ModuleId<'_>
Implementation of CorelibSemantic::core_module.