Replies: 1 comment 2 replies
-
Although the exact validity invariant of unions is under debate, I believe we can make useful progress on this. Trait BoundsFirst, let's consider the requirements of Given this, how do we make our generated implementations of Implementing
|
Beta Was this translation helpful? Give feedback.
-
The bit validity of union types is currently up in the air. Since we currently support unions in our derive of
FromZeros
, and since we want to eventually makeTryFromBytes
a super-trait ofFromZeros
, we need some way of supporting unions inTryFromBytes
. How do we do it?Beta Was this translation helpful? Give feedback.
All reactions