Constant rustc_middle::dep_graph::dep_node::dep_kind::type_op_prove_predicate

pub const type_op_prove_predicate: DepKindStruct;