diff options
| author | Michael Goulet <michael@errs.io> | 2023-12-06 20:22:33 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-12-06 20:22:37 +0000 |
| commit | 5d3a294b46896d0b0c7c2cb3cf6ce4085a1e64fe (patch) | |
| tree | 13d039db67cf18ff795413dbd71f4dc8a038de60 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | f32d29837d3642475e23716cd8af5711d00c01ae (diff) | |
| download | rust-5d3a294b46896d0b0c7c2cb3cf6ce4085a1e64fe.tar.gz rust-5d3a294b46896d0b0c7c2cb3cf6ce4085a1e64fe.zip | |
Only check principal trait ref for object safety
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions