Some data structures contain pointers and hence cannot be "auto-initialized" but there are no real checks for that

[robertmuth]

This may be to complex to to do in which case we should not advertise that there are no null pointers