diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-27 15:04:16 +0200 |
|---|---|---|
| committer | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-28 10:23:11 +0200 |
| commit | 27338f2fe01c4632aa32ba29f8f5c801afe26471 (patch) | |
| tree | a522df0e982412ec237d98499d38b20afe5df85d /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | bb4769532b721d3c6355ac11910c273724a77967 (diff) | |
| download | rust-27338f2fe01c4632aa32ba29f8f5c801afe26471.tar.gz rust-27338f2fe01c4632aa32ba29f8f5c801afe26471.zip | |
add test for ice future has no bound vars.
Fixes https://github.com/rust-lang/rust/issues/112347
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions