pub const from_desugaring: Symbol;