Why is ^^= not part of type definition of integers?

[12345swordy]

On Tuesday, 4 May 2021 at 15:27:13 UTC, Max Haughton wrote:
> On Tuesday, 4 May 2021 at 15:20:53 UTC, 12345swordy wrote:
>> Currently it relies on a function call of phobos math function 
>> instead of code generation for backend optimization. If that 
>> were the case, why does it not rewrite it as `this g() = 
>> std.math.pow(g(),2)` for functions?
>>
>>
>> This is a road block for me when implementing binary operators 
>> for properties.
>>
>>
>> -Alex
>
> pow can be inlined, there is no optimization problem here.
>
> As for why the rewriting doesn't happen in general I assume 
> it's because there wasn't demand for it.
>
> Why is this a roadblock, can't you just lower to the form 
> similar to the one you suggest?

The rewrite currently only works if you mark your get and set 
functions as property. I am not sure if the rewrite should be 
allowed for functions that are not mark property when it comes to 
^^= operator for integers.

-Alex