Function check_liveness 

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