Operator declaration

[Nick Treleaven]

On Sunday, 26 April 2026 at 03:09:39 UTC, Meta wrote:
> On Saturday, 25 April 2026 at 10:49:35 UTC, Nick Treleaven 
> wrote:
>>> - Promotion helps avoid accidental overflow which is more 
>>> common with small integer types.
>>>
>>> I got 3 words for you: Value Range Propagation. We pay for 
>>> it, so we should use it wherever possible.
>>
>> How would that fix the problem? And ideally in a way that 
>> doesn't break existing working code.
>
> This is about the integer promotion rules, that people have 
> been complaining about for years.

Can you give an example of what you think should work but doesn't?