Error handling meeting summary

[Nick Treleaven]

On Friday, 25 July 2025 at 16:58:43 UTC, Richard (Rikki) Andrew 
Cattermole wrote:
> - Contracts being called in the caller, not callee. Walter 
> wants a DIP document to cover the current state (does not need 
> to go into the queue, it only has to exist). Timon offered to 
> do it. Anyone can implement as long as we get the document.

Great news! I think this can detect some more errors at 
compile-time (when optimization is enabled).

> - Null deref read barrier aka null check. CLI switch, throw 
> Error with a hook function. Noted that this is useful for 
> platforms like web assembly and debugging CI's where no stack 
> trace is present.

Related: In @safe code, by default, we need to detect and abort 
execution (it doesn't have to throw an Error) "when an expression 
causes a null pointer to be indexed, causing a memory access that 
is not prevented by the system":

https://dlang.org/spec/function.html#null-dereferences