Skip to content

tagged unions: leave tag key unless forbid_extra_keys#534

Merged
Tinche merged 1 commit intomainfrom
tin/fix-tagged-unions-again
Apr 18, 2024
Merged

tagged unions: leave tag key unless `forbid_extra_keys`#534
Tinche merged 1 commit intomainfrom
tin/fix-tagged-unions-again

Commits

Commits on Apr 18, 2024