Struct EarlyContextAndPass

pub struct EarlyContextAndPass<'a, T: EarlyLintPass> {
    context: EarlyContext<'a>,
    pass: T,
}

Implements the AST traversal for early lint passes. T provides the check_* methods.

Fields

context: EarlyContext<'a>

pass: T

Implementations

impl<'a, T: EarlyLintPass> EarlyContextAndPass<'a, T>

fn inlined_check_id(&mut self, id: NodeId)

fn check_id(&mut self, id: NodeId)

fn with_lint_attrs<F>(&mut self, id: NodeId, attrs: &'a [Attribute], f: F)

where F: FnOnce(&mut Self),

Merge the lints specified by any lint attributes into the current lint context, call the provided function, then reset the lints in effect to their previous state.

Trait Implementations

impl<'a, T: EarlyLintPass> Visitor<'a> for EarlyContextAndPass<'a, T>

fn visit_param(&mut self, param: &'a Param)

fn visit_item(&mut self, it: &'a Item)

fn visit_foreign_item(&mut self, it: &'a ForeignItem)

fn visit_pat(&mut self, p: &'a Pat)

fn visit_pat_field(&mut self, field: &'a PatField)

fn visit_anon_const(&mut self, c: &'a AnonConst)

fn visit_expr(&mut self, e: &'a Expr)

fn visit_expr_field(&mut self, f: &'a ExprField)

fn visit_stmt(&mut self, s: &'a Stmt)

fn visit_fn(&mut self, fk: FnKind<'a>, span: Span, id: NodeId)

fn visit_variant_data(&mut self, s: &'a VariantData)

fn visit_field_def(&mut self, s: &'a FieldDef)

fn visit_variant(&mut self, v: &'a Variant)

fn visit_ty(&mut self, t: &'a Ty)

fn visit_ident(&mut self, ident: Ident)

fn visit_local(&mut self, l: &'a Local)

fn visit_block(&mut self, b: &'a Block)

fn visit_arm(&mut self, a: &'a Arm)

fn visit_expr_post(&mut self, e: &'a Expr)

fn visit_generic_arg(&mut self, arg: &'a GenericArg)

fn visit_generic_param(&mut self, param: &'a GenericParam)

fn visit_generics(&mut self, g: &'a Generics)

fn visit_where_predicate(&mut self, p: &'a WherePredicate)

fn visit_poly_trait_ref(&mut self, t: &'a PolyTraitRef)

fn visit_assoc_item(&mut self, item: &'a AssocItem, ctxt: AssocCtxt)

fn visit_lifetime(&mut self, lt: &'a Lifetime, _: LifetimeCtxt)

fn visit_path(&mut self, p: &'a Path, id: NodeId)

fn visit_path_segment(&mut self, s: &'a PathSegment)

fn visit_attribute(&mut self, attr: &'a Attribute)

fn visit_mac_def(&mut self, mac: &'a MacroDef, id: NodeId)

fn visit_mac_call(&mut self, mac: &'a MacCall)

type Result = ()

The result type of the visit_* methods. Can be either (), or ControlFlow<T>.

fn visit_method_receiver_expr(&mut self, ex: &'ast Expr) -> Self::Result

This method is a hack to workaround unstable of stmt_expr_attributes. It can be removed once that feature is stabilized.

fn visit_closure_binder(&mut self, b: &'ast ClosureBinder) -> Self::Result

fn visit_trait_ref(&mut self, t: &'ast TraitRef) -> Self::Result

fn visit_param_bound( &mut self, bounds: &'ast GenericBound, _ctxt: BoundKind, ) -> Self::Result

fn visit_precise_capturing_arg(&mut self, arg: &'ast PreciseCapturingArg)

fn visit_enum_def(&mut self, enum_definition: &'ast EnumDef) -> Self::Result

fn visit_variant_discr(&mut self, discr: &'ast AnonConst) -> Self::Result

fn visit_label(&mut self, label: &'ast Label) -> Self::Result

fn visit_use_tree( &mut self, use_tree: &'ast UseTree, id: NodeId, _nested: bool, ) -> Self::Result

fn visit_generic_args( &mut self, generic_args: &'ast GenericArgs, ) -> Self::Result

fn visit_assoc_item_constraint( &mut self, constraint: &'ast AssocItemConstraint, ) -> Self::Result

fn visit_vis(&mut self, vis: &'ast Visibility) -> Self::Result

fn visit_fn_ret_ty(&mut self, ret_ty: &'ast FnRetTy) -> Self::Result

fn visit_fn_header(&mut self, _header: &'ast FnHeader) -> Self::Result

fn visit_crate(&mut self, krate: &'ast Crate) -> Self::Result

fn visit_inline_asm(&mut self, asm: &'ast InlineAsm) -> Self::Result

fn visit_format_args(&mut self, fmt: &'ast FormatArgs) -> Self::Result

fn visit_inline_asm_sym(&mut self, sym: &'ast InlineAsmSym) -> Self::Result

fn visit_capture_by(&mut self, _capture_by: &'ast CaptureBy) -> Self::Result

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.