fn check_mod_deathness(tcx: TyCtxt<'_>, module: LocalDefId)