[dajoh]

> It’s the implicit nullability of all reference types which is the mistake, since it leads to undefined behaviour at runtime.

How does the implicit nullability of all reference types lead to "undefined behaviour at runtime" in, for example, Java or C#?

I'm aware that dereferencing NULL pointers in C/C++ is undefined behavior, but I haven't seen this in any other language.

[moi2388]

That’s fair. Unexpected might indeed be more generally correct.

[NoahKAndrews]

Maybe "unexpected" would be a better term