A good reason to define it as an invalid program then and fail at compile time?
Yes. I am literally arguing for doing that in this entire thread.
Yes. I am literally arguing for doing that in this entire thread.