tree 8d081e3b5f2ab5d26dd94d7dfc92c5de388598a4
parent e1bc97c8020dc2ba05c546fb6faa6f9a68074e18
author Martin Brænne <mboehme@google.com> 1698328291 -0700
committer Copybara-Service <copybara-worker@google.com> 1698328339 -0700

[nullability] Allow nullability properties to be "top".

This is preparatory work for pointer widening; I'm submitting it for review
separately because:

* It separates this API change from the pointer widening itself.
* It shows that the API change is a no-op in terms of behavior (though note
  that, so far, we aren't covering the cases where the nullability properties
  are "top" -- this will come with the pointer widening).

PiperOrigin-RevId: 576854948
Change-Id: I3b13750193e682d831f930cb8fe030ec56b806a0