Comment by restes

>why can't I specify, and have the compiler yell at me if I don't properly handle, "this pointer may never be null"

You can do so easily. A reference is a pointer that is never null.