Florian Weimer wrote:
I fear that such barriers are also needed for all checks on scalars, by the way, not just 'Valid.
indded, and we do unchecked conversions to the base type in these cases. i guess we could fix the enum case by using unsigned as the arg type, but that would not help the general case. why can't we just completely turn off this optimization for Ada since it is wrong!
