FAILWITH should fail only with packable types
Clarification and motivation
In Edo FAILWITH
cannot fail with operation
s, big_map
s and maybe sapling types.
Acceptance criteria
-
FAILWITH
is updated - In Lorentz, we probably want to make this restriction part of
KnownError
.
Edited by Konstantin Ivanov