Skip to main content

type_op_ascribe_user_type

rustc_middle::dep_graph::label_strs

Constant type_op_ascribe_user_type 

Source 
pub const type_op_ascribe_user_type: &str = "type_op_ascribe_user_type";