Exact semantics of Enums with numeric discriminants


#1

So, I want to document these semantics, but they’re a bit odd. What exactly do we guarantee in this case?