... no? Unless you're referring to null as a bottom type, then that doesn't hold. Are you describing some property of a specific language?