Operator declaration

[Nick Treleaven]

On Sunday, 31 May 2026 at 08:54:39 UTC, Dom Disc wrote:
> On Friday, 29 May 2026 at 10:56:51 UTC, Nick Treleaven wrote:
>> Can you give an example of what you think should work but 
>> doesn't?
>
> ```d
> byte x = 7;
> x = -x;  // cannot convert -x of type int to byte
> ```

At the point of `-x`, the compiler doesn't know that `x != 
x.min`, so VRP correctly prevents this. Do you think the compiler 
should allow it? How would it decide that? (If `x` is const, it 
can be assigned to a byte).