Rollup merge of #115444 - oli-obk:smir_visitor, r=spastorino · RalfJung/miri@12a89d4 · GitHub

Commit

Rollup merge of #115444 - oli-obk:smir_visitor, r=spastorino

Browse files

Create a SMIR visitor

r? ``@spastorino``

Doesn't have tests or examples yet, but I think we could land it and implement it for the rest of the types.

Loading branch information

matthiaskrgr authored Sep 2, 2023

2 parents ad07ac4 + 986a4e3 commit 12a89d4