about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorAda Alakbarova <ada.alakbarova@proton.me>2025-08-23 14:28:08 +0200
committerAda Alakbarova <ada.alakbarova@proton.me>2025-08-24 15:36:48 +0200
commit94d3352c082ea0a48ee07db8205753407102ec3f (patch)
tree5befc28f4a3a07c03604790804068b16f3af12f5 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parent9373413ee19cf90e6ff38d47211335281e796b6a (diff)
downloadrust-94d3352c082ea0a48ee07db8205753407102ec3f.tar.gz
rust-94d3352c082ea0a48ee07db8205753407102ec3f.zip
`unused_unit`: don't lint on closure return types
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions