Auto merge of #117076 - oli-obk:privacy_visitor_types, r=petrochenkov · rust-lang/miri@5b41578 · GitHub

Commit

Auto merge of #117076 - oli-obk:privacy_visitor_types, r=petrochenkov

Browse files

Refactor type visitor walking

r? `@petrochenkov`

pulling out the uncontroversial parts of rust-lang/rust#113671

Loading branch information

bors committed Oct 25, 2023

2 parents 192f175 + fbfffdd commit 5b41578