Type Definition rustc_middle::ty::query::query_values::type_op_normalize_predicate

type type_op_normalize_predicate<'tcx> = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, Predicate<'tcx>>>, NoSolution>;