Yes, I agree that there are better solutions, this one is just minimal. The "range" clearly indicates that you can do something that's semantically in-between

Yes, I agree that there are better solutions, this one is just minimal. The "range" clearly indicates that you can do something that's semantically in-between the options provided. What current compilers do is nowhere near that range.