On Thursday, 1 January 2026 at 06:15:09 UTC, Walter Bright wrote: > [snip] > So this would be valid, as the two pointers are known to point > to the same memory object. > [snip] To what extent can D know when pointers are known to point to the same object?