If I return a struct pointer in C, I can also return null. The return type does not communicate this to me: this is what I call implicit nullability. It is jus

If I return a struct pointer in C, I can also return null. The return type does not communicate this to me: this is what I call implicit nullability. It is just a bad contract, as it is often misunderstood, and it allow for runtime errors that could easily have been caught at compile time.