Struct IllegalBinderVisitor

struct IllegalBinderVisitor<'a, 'genv, 'tcx> {
    scopes: Vec<ScopeKind>,
    resolver: &'a CrateResolver<'genv, 'tcx>,
    errors: Errors<'genv>,
}

Fields

scopes: Vec<ScopeKind>

resolver: &'a CrateResolver<'genv, 'tcx>

errors: Errors<'genv>

Implementations

impl<'a, 'genv, 'tcx> IllegalBinderVisitor<'a, 'genv, 'tcx>

fn new(resolver: &'a mut CrateResolver<'genv, 'tcx>) -> Self

fn run( self, f: impl FnOnce(&mut ScopedVisitorWrapper<Self>), ) -> Result<(), ErrorGuaranteed>

Trait Implementations

impl ScopedVisitor for IllegalBinderVisitor<'_, '_, '_>

fn is_box(&self, segment: &PathSegment) -> bool

fn enter_scope(&mut self, kind: ScopeKind) -> ControlFlow<()>

fn exit_scope(&mut self)

fn on_implicit_param(&mut self, ident: Ident, param_kind: ParamKind, _: NodeId)

fn wrap(self) -> ScopedVisitorWrapper<Self>

fn on_generic_param(&mut self, _param: &GenericParam)

fn on_refine_param(&mut self, _param: &RefineParam)

fn on_enum_variant(&mut self, _variant: &VariantDef)

fn on_fn_sig(&mut self, _fn_sig: &FnSig)

fn on_fn_output(&mut self, _output: &FnOutput)

fn on_loc(&mut self, _loc: Ident, _node_id: NodeId)

fn on_path(&mut self, _path: &ExprPath)

fn on_base_sort(&mut self, _sort: &BaseSort)