https://doc.rust-lang.org/nightly/nightly-rustc/rustc_infer/infer/canonical/ir/trait.TypeVisitable.html
TypeVisitable in rustc_infer::infer::canonical::ir - Rust
This trait is implemented for every type that can be visited, providing the skeleton of the traversal.
rustcinfercanonicalir
https://doc.rust-lang.org/beta/nightly-rustc/rustc_middle/ty/trait.TypeVisitable.html
TypeVisitable in rustc_middle::ty - Rust
This trait is implemented for every type that can be visited, providing the skeleton of the traversal.
rustcmiddlety