tree aa75c24f318b41361e4d61602193a56f85bff453
parent 563b90c2a648e47658a2cceeea920f8ffb5b9ef9
author Martin Brænne <mboehme@google.com> 1696912995 -0700
committer Copybara-Service <copybara-worker@google.com> 1696913032 -0700

[nullability] Add repro for false positive caused by inconsistent loop state.

PiperOrigin-RevId: 572128694
Change-Id: Id82722af64342c72fd35e3b9f01fcc6c929a296e