Struct rustc_lint::levels::LintLevelsBuilder

pub struct LintLevelsBuilder<'s, P> {
    sess: &'s Session,
    provider: P,
    warn_about_weird_lints: bool,
    store: &'s LintStore,
    registered_tools: &'s RegisteredTools,
}

Fields

sess: &'s Session

provider: P

warn_about_weird_lints: bool

store: &'s LintStore

registered_tools: &'s RegisteredTools

Implementations

impl<'tcx> LintLevelsBuilder<'_, LintLevelQueryMap<'tcx>>

fn add_id(&mut self, hir_id: HirId)

impl<'tcx> LintLevelsBuilder<'_, QueryMapExpectationsWrapper<'tcx>>

fn add_id(&mut self, hir_id: HirId)

impl<'s> LintLevelsBuilder<'s, TopDown>

pub(crate) fn new(
    sess: &'s Session,
    warn_about_weird_lints: bool,
    store: &'s LintStore,
    registered_tools: &'s RegisteredTools
) -> Self

fn process_command_line(&mut self)

pub(crate) fn push(
    &mut self,
    attrs: &[Attribute],
    is_crate_node: bool,
    source_hir_id: Option<HirId>
) -> BuilderPush

Pushes a list of AST lint attributes onto this context.

This function will return a BuilderPush object which should be passed to pop when this scope for the attributes provided is exited.

This function will perform a number of tasks:

• It’ll validate all lint-related attributes in attrs
• It’ll mark all lint-related attributes as used
• Lint levels will be updated based on the attributes provided
• Lint attributes are validated, e.g., a #[forbid] can’t be switched to #[allow]

Don’t forget to call pop!

pub(crate) fn pop(&mut self, push: BuilderPush)

Called after push when the scope of a set of attributes are exited.

impl<'s, P: LintLevelsProvider> LintLevelsBuilder<'s, P>

pub(crate) fn sess(&self) -> &Session

pub(crate) fn lint_store(&self) -> &LintStore

fn current_specs(&self) -> &FxHashMap<LintId, LevelAndSource>

fn insert(&mut self, id: LintId, lvl: LevelAndSource)

fn add_command_line(&mut self)

fn insert_spec(&mut self, id: LintId, (level, src): LevelAndSource)

Attempts to insert the id to level_src map entry. If unsuccessful (e.g. if a forbid was already inserted on the same scope), then emits a diagnostic with no change to specs.

fn add(
    &mut self,
    attrs: &[Attribute],
    is_crate_node: bool,
    source_hir_id: Option<HirId>
)

fn check_gated_lint(&self, lint_id: LintId, span: Span) -> bool

Checks if the lint is gated on a feature that is not enabled.

Returns true if the lint’s feature is enabled.

pub fn lint_level(&self, lint: &'static Lint) -> LevelAndSource

Find the lint level for a lint.

pub(crate) fn struct_lint(
    &self,
    lint: &'static Lint,
    span: Option<MultiSpan>,
    msg: impl Into<DiagnosticMessage>,
    decorate: impl for<'a, 'b> FnOnce(&'b mut DiagnosticBuilder<'a, ()>) -> &'b mut DiagnosticBuilder<'a, ()>
)

Used to emit a lint-related diagnostic based on the current state of this lint context.

Return value of the decorate closure is ignored, see struct_lint_level for a detailed explanation.

Trait Implementations

impl<'tcx> Visitor<'tcx> for LintLevelsBuilder<'_, LintLevelQueryMap<'tcx>>

type NestedFilter = OnlyBodies

Override this type to control which nested HIR are visited; see NestedFilter for details. If you override this type, you must also override nested_visit_map.

fn nested_visit_map(&mut self) -> Self::Map

If type NestedFilter is set to visit nested items, this method must also be overridden to provide a map to retrieve nested items.

fn visit_param(&mut self, param: &'tcx Param<'tcx>)

fn visit_item(&mut self, it: &'tcx Item<'tcx>)

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

fn visit_foreign_item(&mut self, it: &'tcx ForeignItem<'tcx>)

fn visit_stmt(&mut self, e: &'tcx Stmt<'tcx>)

fn visit_expr(&mut self, e: &'tcx Expr<'tcx>)

fn visit_field_def(&mut self, s: &'tcx FieldDef<'tcx>)

fn visit_variant(&mut self, v: &'tcx Variant<'tcx>)

fn visit_local(&mut self, l: &'tcx Local<'tcx>)

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

fn visit_trait_item(&mut self, trait_item: &'tcx TraitItem<'tcx>)

fn visit_impl_item(&mut self, impl_item: &'tcx ImplItem<'tcx>)

type Map = <Self::NestedFilter as NestedFilter<'v>>::Map

fn visit_nested_item(&mut self, id: ItemId)

Invoked when a nested item is encountered. By default, when Self::NestedFilter is nested_filter::None, this method does nothing. You probably don’t want to override this method – instead, override Self::NestedFilter or use the “shallow” or “deep” visit patterns described on itemlikevisit::ItemLikeVisitor. The only reason to override this method is if you want a nested pattern but cannot supply a Map; see nested_visit_map for advice.

fn visit_nested_trait_item(&mut self, id: TraitItemId)

Like visit_nested_item(), but for trait items. See visit_nested_item() for advice on when to override this method.

fn visit_nested_impl_item(&mut self, id: ImplItemId)

Like visit_nested_item(), but for impl items. See visit_nested_item() for advice on when to override this method.

fn visit_nested_foreign_item(&mut self, id: ForeignItemId)

Like visit_nested_item(), but for foreign items. See visit_nested_item() for advice on when to override this method.

fn visit_nested_body(&mut self, id: BodyId)

Invoked to visit the body of a function, method or closure. Like visit_nested_item, does nothing by default unless you override Self::NestedFilter.

fn visit_body(&mut self, b: &'v Body<'v>)

fn visit_id(&mut self, _hir_id: HirId)

fn visit_name(&mut self, _name: Symbol)

fn visit_ident(&mut self, ident: Ident)

fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId)

fn visit_block(&mut self, b: &'v Block<'v>)

fn visit_pat(&mut self, p: &'v Pat<'v>)

fn visit_pat_field(&mut self, f: &'v PatField<'v>)

fn visit_array_length(&mut self, len: &'v ArrayLen)

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

fn visit_let_expr(&mut self, lex: &'v Let<'v>)

fn visit_expr_field(&mut self, field: &'v ExprField<'v>)

fn visit_ty(&mut self, t: &'v Ty<'v>)

fn visit_generic_param(&mut self, p: &'v GenericParam<'v>)

fn visit_const_param_default(&mut self, _param: HirId, ct: &'v AnonConst)

fn visit_generics(&mut self, g: &'v Generics<'v>)

fn visit_where_predicate(&mut self, predicate: &'v WherePredicate<'v>)

fn visit_fn_ret_ty(&mut self, ret_ty: &'v FnRetTy<'v>)

fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>)

fn visit_fn(
    &mut self,
    fk: FnKind<'v>,
    fd: &'v FnDecl<'v>,
    b: BodyId,
    _: Span,
    id: HirId
)

fn visit_use(
    &mut self,
    path: &'v Path<'v, SmallVec<[Res<HirId>; 3]>>,
    hir_id: HirId
)

fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef)

fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef)

fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef)

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

fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>)

fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef<'v>)

fn visit_variant_data(&mut self, s: &'v VariantData<'v>)

fn visit_enum_def(&mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId)

fn visit_label(&mut self, label: &'v Label)

fn visit_infer(&mut self, inf: &'v InferArg)

fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>)

fn visit_lifetime(&mut self, lifetime: &'v Lifetime)

fn visit_qpath(&mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span)

fn visit_path(&mut self, path: &Path<'v, Res<HirId>>, _id: HirId)

fn visit_path_segment(&mut self, path_segment: &'v PathSegment<'v>)

fn visit_generic_args(&mut self, generic_args: &'v GenericArgs<'v>)

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

fn visit_attribute(&mut self, _attr: &'v Attribute)

fn visit_associated_item_kind(&mut self, kind: &'v AssocItemKind)

fn visit_defaultness(&mut self, defaultness: &'v Defaultness)

fn visit_inline_asm(&mut self, asm: &'v InlineAsm<'v>, id: HirId)

impl<'tcx> Visitor<'tcx> for LintLevelsBuilder<'_, QueryMapExpectationsWrapper<'tcx>>

type NestedFilter = All

Override this type to control which nested HIR are visited; see NestedFilter for details. If you override this type, you must also override nested_visit_map.

fn nested_visit_map(&mut self) -> Self::Map

If type NestedFilter is set to visit nested items, this method must also be overridden to provide a map to retrieve nested items.

fn visit_param(&mut self, param: &'tcx Param<'tcx>)

fn visit_item(&mut self, it: &'tcx Item<'tcx>)

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

fn visit_foreign_item(&mut self, it: &'tcx ForeignItem<'tcx>)

fn visit_stmt(&mut self, e: &'tcx Stmt<'tcx>)

fn visit_expr(&mut self, e: &'tcx Expr<'tcx>)

fn visit_field_def(&mut self, s: &'tcx FieldDef<'tcx>)

fn visit_variant(&mut self, v: &'tcx Variant<'tcx>)

fn visit_local(&mut self, l: &'tcx Local<'tcx>)

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

fn visit_trait_item(&mut self, trait_item: &'tcx TraitItem<'tcx>)

fn visit_impl_item(&mut self, impl_item: &'tcx ImplItem<'tcx>)

type Map = <Self::NestedFilter as NestedFilter<'v>>::Map

fn visit_nested_item(&mut self, id: ItemId)

Invoked when a nested item is encountered. By default, when Self::NestedFilter is nested_filter::None, this method does nothing. You probably don’t want to override this method – instead, override Self::NestedFilter or use the “shallow” or “deep” visit patterns described on itemlikevisit::ItemLikeVisitor. The only reason to override this method is if you want a nested pattern but cannot supply a Map; see nested_visit_map for advice.

fn visit_nested_trait_item(&mut self, id: TraitItemId)

Like visit_nested_item(), but for trait items. See visit_nested_item() for advice on when to override this method.

fn visit_nested_impl_item(&mut self, id: ImplItemId)

Like visit_nested_item(), but for impl items. See visit_nested_item() for advice on when to override this method.

fn visit_nested_foreign_item(&mut self, id: ForeignItemId)

Like visit_nested_item(), but for foreign items. See visit_nested_item() for advice on when to override this method.

fn visit_nested_body(&mut self, id: BodyId)

Invoked to visit the body of a function, method or closure. Like visit_nested_item, does nothing by default unless you override Self::NestedFilter.

fn visit_body(&mut self, b: &'v Body<'v>)

fn visit_id(&mut self, _hir_id: HirId)

fn visit_name(&mut self, _name: Symbol)

fn visit_ident(&mut self, ident: Ident)

fn visit_mod(&mut self, m: &'v Mod<'v>, _s: Span, n: HirId)

fn visit_block(&mut self, b: &'v Block<'v>)

fn visit_pat(&mut self, p: &'v Pat<'v>)

fn visit_pat_field(&mut self, f: &'v PatField<'v>)

fn visit_array_length(&mut self, len: &'v ArrayLen)

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

fn visit_let_expr(&mut self, lex: &'v Let<'v>)

fn visit_expr_field(&mut self, field: &'v ExprField<'v>)

fn visit_ty(&mut self, t: &'v Ty<'v>)

fn visit_generic_param(&mut self, p: &'v GenericParam<'v>)

fn visit_const_param_default(&mut self, _param: HirId, ct: &'v AnonConst)

fn visit_generics(&mut self, g: &'v Generics<'v>)

fn visit_where_predicate(&mut self, predicate: &'v WherePredicate<'v>)

fn visit_fn_ret_ty(&mut self, ret_ty: &'v FnRetTy<'v>)

fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>)

fn visit_fn(
    &mut self,
    fk: FnKind<'v>,
    fd: &'v FnDecl<'v>,
    b: BodyId,
    _: Span,
    id: HirId
)

fn visit_use(
    &mut self,
    path: &'v Path<'v, SmallVec<[Res<HirId>; 3]>>,
    hir_id: HirId
)

fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef)

fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef)

fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef)

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

fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>)

fn visit_poly_trait_ref(&mut self, t: &'v PolyTraitRef<'v>)

fn visit_variant_data(&mut self, s: &'v VariantData<'v>)

fn visit_enum_def(&mut self, enum_definition: &'v EnumDef<'v>, item_id: HirId)

fn visit_label(&mut self, label: &'v Label)

fn visit_infer(&mut self, inf: &'v InferArg)

fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>)

fn visit_lifetime(&mut self, lifetime: &'v Lifetime)

fn visit_qpath(&mut self, qpath: &'v QPath<'v>, id: HirId, _span: Span)

fn visit_path(&mut self, path: &Path<'v, Res<HirId>>, _id: HirId)

fn visit_path_segment(&mut self, path_segment: &'v PathSegment<'v>)

fn visit_generic_args(&mut self, generic_args: &'v GenericArgs<'v>)

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

fn visit_attribute(&mut self, _attr: &'v Attribute)

fn visit_associated_item_kind(&mut self, kind: &'v AssocItemKind)

fn visit_defaultness(&mut self, defaultness: &'v Defaultness)

fn visit_inline_asm(&mut self, asm: &'v InlineAsm<'v>, id: HirId)

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.