Struct EarlyContextAndPass

pub struct EarlyContextAndPass<'ecx, 'tcx, T: EarlyLintPass> {
    context: EarlyContext<'ecx>,
    tcx: Option<TyCtxt<'tcx>>,
    pass: T,
}

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

Fields

context: EarlyContext<'ecx>

tcx: Option<TyCtxt<'tcx>>

pass: T

Implementations

impl<'ecx, 'tcx, T: EarlyLintPass> EarlyContextAndPass<'ecx, 'tcx, 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: &[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<'ast, 'ecx, 'tcx, T: EarlyLintPass> Visitor<'ast> for EarlyContextAndPass<'ecx, 'tcx, T>

fn visit_coroutine_kind( &mut self, coroutine_kind: &'ast CoroutineKind, ) -> Self::Result

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

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

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

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

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

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

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

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

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

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

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

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

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

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

fn visit_ident(&mut self, ident: &Ident)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

fn visit_mac_call(&mut self, mac: &'ast 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_where_predicate_kind( &mut self, k: &'ast WherePredicateKind, ) -> 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, ) -> Self::Result

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

fn visit_fn_decl(&mut self, fn_decl: &'ast FnDecl) -> Self::Result

fn visit_qself(&mut self, qs: &'ast Option<P<QSelf>>) -> 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.