Proper handling of `Struct.empty()` when one of the base types doesn't have `empty()`
mitschabaude opened this issue · 0 comments
mitschabaude commented
Issue reported in discord: https://discord.com/channels/484437221055922177/915745847692636181/1240099940718477412
There are two issues: Group.empty() was missing, and (even worse) it being missing didn't cause an error but rather a garbage Struct.empty() result