Constant rustc_query_impl::query_callbacks::type_op_prove_predicate

pub const type_op_prove_predicate: QueryStruct;