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