Struct rustc::lint::LateContext

pub struct LateContext<'a, 'tcx: 'a> {
    pub tcx: TyCtxt<'a, 'tcx, 'tcx>,
    pub krate: &'a Crate,
    pub access_levels: &'a AccessLevels,
    // some fields omitted
}

Unstable (rustc_private)

Context for lint checking after type checking.

Fields

tcx: TyCtxt<'a, 'tcx, 'tcx>

Unstable (rustc_private)

Type context we're checking in.

krate: &'a Crate

Unstable (rustc_private)

The crate being checked.

access_levels: &'a AccessLevels

Unstable (rustc_private)

Items accessible from the crate being checked.

Trait Implementations

impl<'a, 'tcx> LintContext for LateContext<'a, 'tcx>

fn sess(&self) -> &Session

Unstable (rustc_private)

Get the overall compiler Session object.

fn lints(&self) -> &LintStore

fn mut_lints(&mut self) -> &mut LintStore

fn level_stack(&mut self) -> &mut Vec<(LintId, LevelSource)>

fn enter_attrs(&mut self, attrs: &[Attribute])

fn exit_attrs(&mut self, attrs: &[Attribute])

fn current_level(&self, lint: &'static Lint) -> Level

Get the level of lint at the current position of the lint traversal.

fn level_src(&self, lint: &'static Lint) -> Option<LevelSource>

fn lookup_and_emit(&self, lint: &'static Lint, span: Option<Span>, msg: &str)

fn lookup(&self, lint: &'static Lint, span: Option<Span>, msg: &str) -> DiagnosticBuilder

fn span_lint(&self, lint: &'static Lint, span: Span, msg: &str)

Emit a lint at the appropriate level, for a particular span.

fn struct_span_lint(&self, lint: &'static Lint, span: Span, msg: &str) -> DiagnosticBuilder

fn span_lint_note(&self, lint: &'static Lint, span: Span, msg: &str, note_span: Span, note: &str)

Emit a lint and note at the appropriate level, for a particular span.

fn span_lint_help(&self, lint: &'static Lint, span: Span, msg: &str, help: &str)

Emit a lint and help at the appropriate level, for a particular span.

fn lint(&self, lint: &'static Lint, msg: &str)

Emit a lint at the appropriate level, with no associated span.

fn with_lint_attrs<F>(&mut self, 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.

impl<'a, 'tcx, 'v> Visitor<'v> for LateContext<'a, 'tcx>

fn visit_nested_item(&mut self, item: ItemId)

Unstable (rustc_private)

Because lints are scoped lexically, we want to walk nested items in the context of the outer item, so enable deep-walking.

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

Visit the top-level item and (optionally) nested items. See visit_nested_item for details.

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

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

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

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

fn visit_fn(&mut self, fk: FnKind<'v>, decl: &'v FnDecl, body: &'v Block, span: Span, id: NodeId)

fn visit_variant_data(&mut self, s: &VariantData, name: Name, g: &Generics, item_id: NodeId, _: Span)

fn visit_struct_field(&mut self, s: &StructField)

fn visit_variant(&mut self, v: &Variant, g: &Generics, item_id: NodeId)

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

fn visit_name(&mut self, sp: Span, name: Name)

fn visit_mod(&mut self, m: &Mod, s: Span, n: NodeId)

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

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

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

fn visit_decl(&mut self, d: &Decl)

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

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

fn visit_trait_item(&mut self, trait_item: &TraitItem)

fn visit_impl_item(&mut self, impl_item: &ImplItem)

fn visit_lifetime(&mut self, lt: &Lifetime)

fn visit_lifetime_def(&mut self, lt: &LifetimeDef)

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

fn visit_path_list_item(&mut self, prefix: &Path, item: &PathListItem)

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

fn visit_trait_ref(&mut self, t: &'v TraitRef)

fn visit_ty_param_bound(&mut self, bounds: &'v TyParamBound)

fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef, m: &'v TraitBoundModifier)

fn visit_enum_def(&mut self, enum_definition: &'v EnumDef, generics: &'v Generics, item_id: NodeId, _: Span)

fn visit_path_segment(&mut self, path_span: Span, path_segment: &'v PathSegment)

fn visit_path_parameters(&mut self, path_span: Span, path_parameters: &'v PathParameters)

fn visit_assoc_type_binding(&mut self, type_binding: &'v TypeBinding)

fn visit_macro_def(&mut self, macro_def: &'v MacroDef)

fn visit_vis(&mut self, vis: &'v Visibility)

impl<'a, 'tcx> IdVisitingOperation for LateContext<'a, 'tcx>

fn visit_id(&mut self, id: NodeId)