Struct SubstVisitor

pub(crate) struct SubstVisitor<'a> {
    generics: &'a GenericArgs,
    self_ref: &'a TraitRefKind,
}

Visitor for the TyVisitable::substitute function. This substitutes variables bound at the level where we start to substitute (level 0).

Fields

generics: &'a GenericArgs

self_ref: &'a TraitRefKind

Implementations

impl<'a> SubstVisitor<'a>

pub(crate) fn new(generics: &'a GenericArgs, self_ref: &'a TraitRefKind) -> Self

fn process_var<Id, T>( &self, var: DeBruijnVar<Id>, get: impl Fn(Id) -> &'a T, ) -> Option<T>

where Id: Copy, T: Clone + TyVisitable, DeBruijnVar<Id>: Into<T>,

Returns the value for this variable, if any.

Trait Implementations

impl VarsVisitor for SubstVisitor<'_>

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>

impl<'a> Visitor for SubstVisitor<'a>

type Break = Infallible

The type used for early-return, if the visitor supports it. Use an empty type like std::convert::Infallible if the visitor does not short-circuit.