I take it you have never heard of invariant rules? Or class invariants?
That's the point of static typing -- to allow you to express your invariants explicitly and enforce them automatically.
In fact, by correctly enforcing the invariant that a given pointer can never be null, I can write correct code without the bloat of runtime checks. Yes, this is extra stuff I have to keep track in my head, but given that my intellect is sufficient enough to do so, I take great pleasure in writing correct code without guiding rails.
Yes, yes, and then you go and insert your penis in your nonimaginary waifu's real female vagina. Tell me more about your glorious life.