Function rustc_query_impl::query_callbacks::type_op_prove_predicate[−][src]

pub fn type_op_prove_predicate() -> DepKindStruct