about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorEsteban Küber <esteban@kuber.com.ar>2020-09-27 18:58:56 -0700
committerEsteban Küber <esteban@kuber.com.ar>2020-10-25 15:21:14 -0700
commitcabf6d052329c8ba5f23c7fc4873e9db64874997 (patch)
tree4392ba2faab1fe90cd71f186fea5175be40b32cf /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parent07a63e6d1fabf3560e8e1e17c1d56b10a06152d9 (diff)
downloadrust-cabf6d052329c8ba5f23c7fc4873e9db64874997.tar.gz
rust-cabf6d052329c8ba5f23c7fc4873e9db64874997.zip
Tweak `if let` suggestion to be more liberal with suggestion and to not ICE
Fix #77218. Fix #77238.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions