pub(crate) const fn check_liveness<'tcx>() -> QueryStruct<'tcx>