Support "never" type
Clarification and motivation
As I asked (:pled:), they have added never
type and NEVER
instruction.
We used some replacement in our upgradeable contracts, but now this is not necessary.
Acceptance criteria
- New type/instruction are introduced.
-
Empty
is deprecated (or just leave a note that it is left for backward compatibility and recommend usingnever
?)
Edited by Konstantin Ivanov