tree f46fdf4acb0de2d3b4b8f379296f904dc5322bd6
parent e1504a60ae810ebe0cc17400b16645ede3969c7b
author Googler <no-reply@google.com> 1689714338 -0700
committer Copybara-Service <copybara-worker@google.com> 1689714373 -0700

Infer Nullable when >=1 Nullable argument is passed and Nonnull when only Nonnull arguments are passed.

Prioritized in that order and both are overridden by an unchecked dereference. This does not yet implement the flagging of a conflict between an unchecked dereference and a Nullable argument being passed.

PiperOrigin-RevId: 549106061
Change-Id: Ida239943543b073513ffe15543176c3e806e172a