[clang] [analyzer] Fix false negative when accessing a nonnull property from … (PR #67563)

[via cfe-commits]

tripleCC wrote:

> Looks good, thanks! I think a comment about how the types in the AST already has the nullability propagated correctly might be helpful for the future readers, otherwise it looks good to me!
Thanks for reviewing, I added a comment for nullability propagated now. 


https://github.com/llvm/llvm-project/pull/67563