about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorSamuel Tardieu <sam@rfc1149.net>2025-08-07 15:54:20 +0200
committerSamuel Tardieu <sam@rfc1149.net>2025-08-07 18:29:10 +0200
commitc752fb2802e7fa51e931c8e6e883b2e159f944d3 (patch)
tree036a5048d33ffdcb8437e56a637597ad73fbe688 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parentfaba846a099e87e0786188b6b4b3e5c27fe2a2c0 (diff)
downloadrust-c752fb2802e7fa51e931c8e6e883b2e159f944d3.tar.gz
rust-c752fb2802e7fa51e931c8e6e883b2e159f944d3.zip
Do not attempt to compute size of a type with escaping lifetimes
A type with escaping bound vars cannot be wrapped in a dummy binder
during size computation.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions