diff options
| author | Markus Reiter <me@reitermark.us> | 2024-02-08 20:40:55 +0100 |
|---|---|---|
| committer | Markus Reiter <me@reitermark.us> | 2024-02-08 20:44:32 +0100 |
| commit | d70d3204b7e669ff8046bfe55999a36a39896c08 (patch) | |
| tree | 9514de40bb3aae837f7f3bedb3e2d144852e6a36 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | c29082fe7dc6e902169cacbae165562a7e4a1fd6 (diff) | |
| download | rust-d70d3204b7e669ff8046bfe55999a36a39896c08.tar.gz rust-d70d3204b7e669ff8046bfe55999a36a39896c08.zip | |
Use `transmute_unchecked` in `NonZero::new`.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions