pub trait VarsVisitor {
// Provided methods
fn visit_region_var(&mut self, _v: RegionDbVar) -> Option<Region> { ... }
fn visit_type_var(&mut self, _v: TypeDbVar) -> Option<Ty> { ... }
fn visit_const_generic_var(
&mut self,
_v: ConstGenericDbVar,
) -> Option<ConstGeneric> { ... }
fn visit_clause_var(&mut self, _v: ClauseDbVar) -> Option<TraitRefKind> { ... }
fn visit_self_clause(&mut self) -> Option<TraitRefKind> { ... }
}
Expand description
Visitor for type-level variables. Used to visit the variables contained in a value, as seen from the outside of the value. This means that any variable bound inside the value will be skipped, and all the seen De Bruijn indices will count from the outside of the value. The returned value, if any, will be put in place of the variable.