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