Constant rustc_middle::dep_graph::label_strs::type_op_ascribe_user_type
source ยท pub const type_op_ascribe_user_type: &str = "type_op_ascribe_user_type";
pub const type_op_ascribe_user_type: &str = "type_op_ascribe_user_type";