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.