P.S. Another thing I agree with you on is that enum = 1 is not especially well-typed either, and it’s also perhaps something I would prefer to reject. But, along with enum < 1 (ugh), it’s something that I guess we do probably need to continue supporting for reasons of backward compatibility.