Why is this useful? For most people, it's fun trivia.
For programmers hunting performance, this guarantee facilitates compile-time null checks. Null checks happen billions of times in the life of a program, so saving a microsecond or so can be quite useful.