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