tree 94399e4ff896781829976d5413c77304f6ea0e16
parent 563c93c033b9f3e7e6c7119a278bb520b4fa7776
author Sam McCall <sammccall@google.com> 1700213420 -0800
committer Copybara-Service <copybara-worker@google.com> 1700213508 -0800

Document the invariant around PointerValue modelling

We have recently introduced crashes by violating this invarinat.
This is unfortunately easy and maybe we should address that, but documenting
the requirement seems like a good start.

PiperOrigin-RevId: 583304560
Change-Id: Ib7467d9532ab5f6e41e66faad74001b899668ab9