On 4/16/2025 11:43 AM, Derek Fawcus wrote: > However I do have an interest in being able to write code with distinct nullable > and nonnull pointers. That such that the compiler (or an SA tool) can complain > when they're incorrectly confused. That's what templates are for!