tree 777f75c3586f68ff1fa9fceab06e4049979b1b91
parent b323064cae97c298bd443e3db361c0e387ec426a
author Googler <no-reply@google.com> 1687804299 -0700
committer Copybara-Service <copybara-worker@google.com> 1687804353 -0700

Collect null-safety constraints based on pointer usage and resolve them into implications of required nullability annotations.

The only implemented constraint is that dereferencing a pointer expression requires that the expression be nonnull as proved by PointerNullabilityAnalysis. In the absence of null checks, this generally implies a required NonNull annotation in simple cases.

Also remove old unused pointer model.

PiperOrigin-RevId: 543495685