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