On 1/1/2023 7:24 AM, Sebastiaan Koppe wrote: > Also, somewhat tangentially related, isn't nonnull-ness one of the things `ref` > helps with: Sadly, not completely: void foo(ref int); void test() { int* p = null; foo(*p); } (C++ has the same issue.) As for your other points, we'd just be repeating our positions.