No we should not support enum types derived from strings

[Andrei Alexandrescu]

On 5/11/21 9:46 PM, deadalnix wrote:
> This whole model in C++ is unsound. It's easy to show. In you above 
> example, the this pointer, typed as Widget*, points to an instance of a 
> subclass of Widget. If you were to assign a Widget to that pointer 
> (which you can do, this is a pointer to a mutable widget), then any 
> references to that widget using a subtype of Widget is now invalid.

All of this is bizarrely incorrect. Care to elaborate?