pub(crate) fn check_liveness<'tcx>() -> DepKindStruct<'tcx>