pub trait TypeSuperVisitable<I: Interner>: TypeVisitable<I> {
// Required method
fn super_visit_with<V: TypeVisitor<I>>(&self, visitor: &mut V) -> V::Result;
}
Required Methods§
Sourcefn super_visit_with<V: TypeVisitor<I>>(&self, visitor: &mut V) -> V::Result
fn super_visit_with<V: TypeVisitor<I>>(&self, visitor: &mut V) -> V::Result
Provides a default visit for a recursive type of interest. This should
only be called within TypeVisitor
methods, when a non-custom
traversal is desired for the value of the type of interest passed to
that method. For example, in MyVisitor::visit_ty(ty)
, it is valid to
call ty.super_visit_with(self)
, but any other visiting should be done
with xyz.visit_with(self)
.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.