> "null reference" here is really a shortening of "every reference in the type system is implicitly nullable" I don't think this is quite accurate, there are d

> "null reference" here is really a shortening of "every reference in the type system is implicitly nullable" I don't think this is quite accurate, there are definitely cases where non-null pointers are required (e.g. dereferencing). It's more correct to say that the type system does not explicitly indicate whether a pointer might be null or not.