pub(crate) fn predicates_defined_on<'tcx>() -> DynamicQuery<'tcx, Storage<'tcx>>