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