type_op_prove_predicate

rustc_middle::dep_graph::dep_node::dep_kinds

Constant type_op_prove_predicate 

Source 
pub const type_op_prove_predicate: DepKind;