More modern languages have indeed embedded nullability into the type system and will yell at you if you dereference a nullable pointer without a check. This is

More modern languages have indeed embedded nullability into the type system and will yell at you if you dereference a nullable pointer without a check. This is good. Retrofitting this into C++ at the language level is impossible. At least without a huge change in priorities from the committee.