I agree with this, and I will take it a step further: people who want the compiler to know the ranges of their variables to enable better optimizations should u

I agree with this, and I will take it a step further: people who want the compiler to know the ranges of their variables to enable better optimizations should use the various "assume" attributes/builtins which have existed for a long time. The compiler can do way more if it knows your loop count is max 5 than if it knows it is max 2 billion.