I find the distinction important as it allows to establish a contract without falling into defensive programming. Null pointer analysis is great, I admit, but h

I find the distinction important as it allows to establish a contract without falling into defensive programming. Null pointer analysis is great, I admit, but how it would help to write a library function without checking explicitly if its parameter is nil?