Type Definition rustc_middle::ty::query::query_stored::type_op_prove_predicate

pub type type_op_prove_predicate<'tcx> = Result<&'tcx Canonical<'tcx, QueryResponse<'tcx, ()>>, NoSolution>;