Trait ScopedVisitor 

pub(crate) trait ScopedVisitor<'genv, 'tcx: 'genv>: Sized {
    // Required methods
    fn resolver(&self) -> &CrateResolver<'genv, 'tcx>;
    fn enter_scope(&mut self, scope: &Scope<'_>);
    fn exit_scope(&mut self, scope: &Scope<'_>);

    // Provided methods
    fn wrap(self) -> ScopedVisitorWrapper<Self> { ... }
    fn on_implicit_param(
        &mut self,
        _ident: Ident,
        _kind: ParamKind,
        _node_id: NodeId,
    ) { ... }
    fn on_path<S: Segment>(
        &mut self,
        _segments: &[S],
        _node_id: NodeId,
        _span: Span,
    ) { ... }
    fn on_sort_path(&mut self, _path: &SortPath) { ... }
}

Required Methods

fn resolver(&self) -> &CrateResolver<'genv, 'tcx>

fn enter_scope(&mut self, scope: &Scope<'_>)

fn exit_scope(&mut self, scope: &Scope<'_>)

Provided Methods

fn wrap(self) -> ScopedVisitorWrapper<Self>

fn on_implicit_param( &mut self, _ident: Ident, _kind: ParamKind, _node_id: NodeId, )

fn on_path<S: Segment>( &mut self, _segments: &[S], _node_id: NodeId, _span: Span, )

fn on_sort_path(&mut self, _path: &SortPath)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'genv, 'tcx> ScopedVisitor<'genv, 'tcx> for ImplicitParamCollector<'_, 'genv, 'tcx>

impl<'genv, 'tcx> ScopedVisitor<'genv, 'tcx> for RefinementResolver<'_, 'genv, 'tcx>