Should (p - q) be disallowed in @safe code?

[Walter Bright]

On 1/1/2026 5:55 PM, Walter Bright wrote:
> I've used a language that did not have implicit casting. The result was casts 
> everywhere, which winds up *increasing* the number of hidden bugs. C has a 
> well-designed implicit casting system (it isn't perfect) that is a lot more 
> flexible when one, for instance, wants to change the type of an integer.

The original C semantics were designed to map directly onto PDP-11 CPU instructions.

Along with C's rise to dominance in the 80s, the design of other CPUs were 
adjusted to match C semantics.