about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2024-05-10 22:24:53 +0000
committerbors <bors@rust-lang.org>2024-05-10 22:24:53 +0000
commit19dacee0d8820d42b34e21eae99ff41026413add (patch)
tree94771814538001ac754403068de439ddc330f0f1 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parent6e1d94708a0a4a35ca7e46c6cac98adf62fe800e (diff)
parentb55d8a3b4917698fd6d389f05afc423086f33d97 (diff)
downloadrust-19dacee0d8820d42b34e21eae99ff41026413add.tar.gz
rust-19dacee0d8820d42b34e21eae99ff41026413add.zip
Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnr
Uplift `TraitRef` into `rustc_type_ir`

Emotional rollercoaster

r? lcnr
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions