Struct ImplicitParamCollector

struct ImplicitParamCollector<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    path_res_map: &'a UnordMap<NodeId, PartialRes>,
    kind: ScopeKind,
    params: Vec<(Ident, ParamKind, NodeId)>,
}

Fields

tcx: TyCtxt<'tcx>

path_res_map: &'a UnordMap<NodeId, PartialRes>

kind: ScopeKind

params: Vec<(Ident, ParamKind, NodeId)>

Implementations

impl<'a, 'tcx> ImplicitParamCollector<'a, 'tcx>

fn new( tcx: TyCtxt<'tcx>, path_res_map: &'a UnordMap<NodeId, PartialRes>, kind: ScopeKind, ) -> Self

fn run( self, f: impl FnOnce(&mut ScopedVisitorWrapper<Self>), ) -> Vec<(Ident, ParamKind, NodeId)>

Trait Implementations

impl ScopedVisitor for ImplicitParamCollector<'_, '_>

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

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

fn on_implicit_param(&mut self, ident: Ident, param: ParamKind, node_id: NodeId)

fn exit_scope(&mut self)

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)