For me, pointer may be null, reference not.
As you, I *believe* pointer would not be null, but I prefer respect the interface.
Maybe some pointer may be null with incorrect syntax...