about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorKevin Reid <kpreid@switchb.org>2024-05-12 21:36:09 -0700
committerKevin Reid <kpreid@switchb.org>2024-06-04 14:40:22 -0700
commitec8fa177190f1f0279fade487dfa4cef23dd1101 (patch)
tree0a533567b11ed778ef5c7080291114411b7ea8c7 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parentac96fa44faa786ad5682e6ed7359842d0e6a4b53 (diff)
downloadrust-ec8fa177190f1f0279fade487dfa4cef23dd1101.tar.gz
rust-ec8fa177190f1f0279fade487dfa4cef23dd1101.zip
Use inline const instead of unsafe to implement `MaybeUninit::uninit_array()`.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions