On 5/3/2025 2:47 PM, Timon Gehr wrote: > It does not. See my other reply regarding higher level pointer constructs. > Whether a safety check is "needed" depends on what invariants the type system is > able to establish and rely on in `@safe` code. If you can enumerate the other safety checks D needs to be memory safe, I'm listening.