flux_desugar::resolver::refinement_resolver

Trait ScopedVisitor

pub(crate) trait ScopedVisitor: Sized {
Show 13 methods    // Required methods
    fn is_box(&self, segment: &PathSegment) -> bool;
    fn enter_scope(&mut self, kind: ScopeKind) -> ControlFlow<()>;

    // Provided methods
    fn exit_scope(&mut self) { ... }
    fn wrap(self) -> ScopedVisitorWrapper<Self> { ... }
    fn on_implicit_param(
        &mut self,
        _ident: Ident,
        _kind: ParamKind,
        _node_id: NodeId,
    ) { ... }
    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) { ... }
}