Ideas around anonymous enum types

[lordan]

It certainly wouldn't be doable in a naive way in general, but FWIW according to this old post they are merged for nested Option at least:

Thanks to @eddyb’s work, the compiler will collapse the discriminant of the first option into the second. Thus, mem::size_of::<Option<Option<u8>>>() == 2 .