On 5/11/21 10:36 PM, Meta wrote: > ++x still fulfills the contract that the derived enum has inherited from > `int`: `++: int -> int`. No, that would be ref int -> ref int, which has consequences.