fn check_mod_intrinsics(tcx: TyCtxt<'_>, module_def_id: LocalDefId)