diff options
| author | Centri3 <114838443+Centri3@users.noreply.github.com> | 2023-06-13 14:55:54 -0500 |
|---|---|---|
| committer | Centri3 <114838443+Centri3@users.noreply.github.com> | 2023-06-13 17:53:36 -0500 |
| commit | d2725402a9e2c753858e221f3e871c7dd9cb7242 (patch) | |
| tree | dd65533b783174f5c4de300ea0b993f429ba113b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | eefc2a0ac4e72d5532f9e0d9bd76971bdac3f597 (diff) | |
| download | rust-d2725402a9e2c753858e221f3e871c7dd9cb7242.tar.gz rust-d2725402a9e2c753858e221f3e871c7dd9cb7242.zip | |
[`borrow_as_ptr`]: Ignore temporaries
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions