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