about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorXiretza <xiretza@xiretza.xyz>2024-04-20 13:21:15 +0000
committerXiretza <xiretza@xiretza.xyz>2024-04-21 07:45:03 +0000
commit6974e9cf7012b0f3e2a58a8accde23007274f9a9 (patch)
tree9693cd7e43a1343a38748efbc3a58b732c41e5e8 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parentb220b741c6d4e16e34d183b38d6384d369c9a620 (diff)
downloadrust-6974e9cf7012b0f3e2a58a8accde23007274f9a9.tar.gz
rust-6974e9cf7012b0f3e2a58a8accde23007274f9a9.zip
Move "elided lifetime in path" to subdiagnostic struct
This requires nested subdiagnostics.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions