diff options
| author | Vilim Lendvaj <vilim.lendvaj@sk.t-com.hr> | 2025-05-05 21:38:25 +0200 |
|---|---|---|
| committer | Vilim Lendvaj <vilim.lendvaj@sk.t-com.hr> | 2025-05-05 21:56:33 +0200 |
| commit | 53459ffa8c0b9060f111b4730d1fe58a110470d9 (patch) | |
| tree | cbf4a048d2fe187f1256e4a4ca9fbc874c37a231 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 243c5a35e18b2634892fe7091d5ee888a18f77f5 (diff) | |
| download | rust-53459ffa8c0b9060f111b4730d1fe58a110470d9.tar.gz rust-53459ffa8c0b9060f111b4730d1fe58a110470d9.zip | |
Simplify `Vec::as_non_null` implementation and make it `const`
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions