Constant rustc_middle::dep_graph::dep_node::label_strs::type_op_ascribe_user_type

pub const type_op_ascribe_user_type: &str = "type_op_ascribe_user_type";