On 1/1/26 18:56, Paul Backus wrote: > > Pointer *subtraction* is allowed in @safe code because the result is an > integer, and all integers are [safe values][1]. There are plenty of unsafe operations whose result is considered to be an integer by the type checker, so I don't think this justification is sufficient.