It would help implementations know what's allowed to be null and what isn't. https://clang.llvm.org/docs/analyzer/developer-docs/nullability.html