pub fn check_liveness<'tcx>(_: TyCtxt<'tcx>, _: &check_liveness<'tcx>) -> bool