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