tree cb7e6772bc6a6c0aeb15a617a888b1092dd79254
parent 5392b47f7f17e049c041af9a806d9aa79243c8af
author Martin Brænne <mboehme@google.com> 1698774340 -0700
committer Copybara-Service <copybara-worker@google.com> 1698774383 -0700

[nullability] Use `proves()` and `assume()` instead of deprecated synonyms.

Somehow, these slipped through the cracks when I did the earlier migration.

PiperOrigin-RevId: 578233748
Change-Id: I97566926693ab707a5565c22c389066dbc491c4f