about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
diff options
context:
space:
mode:
authorCamille GILLOT <gillot.camille@gmail.com>2022-10-25 16:29:48 +0000
committerCamille GILLOT <gillot.camille@gmail.com>2022-11-12 10:03:06 +0000
commit9e9f5b15f5c964b2140560f164da0bcea347b7ad (patch)
tree37ed033a874242d1dba842da72ae9a9f7bbffc8d /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp
parentaf06960b2afd259e7c41a09e038659a510475771 (diff)
downloadrust-9e9f5b15f5c964b2140560f164da0bcea347b7ad.tar.gz
rust-9e9f5b15f5c964b2140560f164da0bcea347b7ad.zip
Add test for projections in async-in-trait.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions