fn check_liveness(tcx: TyCtxt<'_>, def_id: DefId)