Constant from_desugaring 

pub const from_desugaring: Symbol;