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