diff options
| author | Michael Goulet <michael@errs.io> | 2024-03-20 20:30:04 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-07-15 14:16:48 -0400 |
| commit | 8edf9b808427dfbe4425b49d213351f907f58b40 (patch) | |
| tree | 9af7b70bca45d764080776b92ee296e48f979a8b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | d3dd34a1d4a7e25a92a0d65994bb01a5d17c59ee (diff) | |
| download | rust-8edf9b808427dfbe4425b49d213351f907f58b40.tar.gz rust-8edf9b808427dfbe4425b49d213351f907f58b40.zip | |
Item bounds can reference self projections and still be object safe
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions