Niko Matsakis ea1d452143 create a struct_map that encapsulates access ... The internal API is now based around providing references to the `TrackedStructValue`. Documenting the invariants led to one interesting case, which is that we sometimes verify a tracked struct as not having changed (and even create `&`-ref to it!) but then re-execute the function around it. We now guarantee that, in this case, the data does not change, even if it has leaked values. This is required to ensure soundness. Add a test case about it.		2024-05-24 07:16:47 -04:00
..
src	create a struct_map that encapsulates access	2024-05-24 07:16:47 -04:00
Cargo.toml