Struct rustc_lint::levels::LintLevelsBuilder

source ·
pub struct LintLevelsBuilder<'s, P> {
    sess: &'s Session,
    features: &'s Features,
    provider: P,
    lint_added_lints: bool,
    store: &'s LintStore,
    registered_tools: &'s RegisteredTools,
}

Fields§

§sess: &'s Session§features: &'s Features§provider: P§lint_added_lints: bool§store: &'s LintStore§registered_tools: &'s RegisteredTools

Implementations§

source§

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

source

fn add_id(&mut self, hir_id: HirId)

source§

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

source

fn add_id(&mut self, hir_id: HirId)

source§

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

source

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

source

fn process_command_line(&mut self)

source

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!

source

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

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

source§

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

source

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

source

pub(crate) fn features(&self) -> &Features

source

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

source

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

source

fn add_command_line(&mut self)

source

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.

source

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

source

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

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

Returns true if the lint’s feature is enabled.

source

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

Find the lint level for a lint.

source

pub(crate) fn opt_span_lint( &self, lint: &'static Lint, span: Option<MultiSpan>, decorate: impl for<'a, 'b> FnOnce(&'b mut Diag<'a, ()>), )

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

source

pub fn emit_span_lint( &self, lint: &'static Lint, span: MultiSpan, decorate: impl for<'a> LintDiagnostic<'a, ()>, )

source

pub fn emit_lint( &self, lint: &'static Lint, decorate: impl for<'a> LintDiagnostic<'a, ()>, )

Trait Implementations§

source§

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

source§

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. Read more
source§

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.
source§

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

source§

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.
source§

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

source§

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

source§

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

source§

fn visit_expr_field(&mut self, f: &'tcx ExprField<'tcx>)

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

type Result = ()

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

fn visit_nested_item(&mut self, id: ItemId) -> Self::Result

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 at rustc_hir::intravisit. 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.
source§

fn visit_nested_trait_item(&mut self, id: TraitItemId) -> Self::Result

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

fn visit_nested_impl_item(&mut self, id: ImplItemId) -> Self::Result

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

fn visit_nested_foreign_item(&mut self, id: ForeignItemId) -> Self::Result

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

fn visit_nested_body(&mut self, id: BodyId) -> Self::Result

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

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

source§

fn visit_id(&mut self, _hir_id: HirId) -> Self::Result

source§

fn visit_name(&mut self, _name: Symbol) -> Self::Result

source§

fn visit_ident(&mut self, ident: Ident) -> Self::Result

source§

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

source§

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

source§

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

source§

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

source§

fn visit_array_length(&mut self, len: &'v ArrayLen<'v>) -> Self::Result

source§

fn visit_anon_const(&mut self, c: &'v AnonConst) -> Self::Result

source§

fn visit_inline_const(&mut self, c: &'v ConstBlock) -> Self::Result

source§

fn visit_const_arg(&mut self, c: &'v ConstArg<'v>) -> Self::Result

source§

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

source§

fn visit_pattern_type_pattern(&mut self, _p: &'v Pat<'v>)

source§

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

source§

fn visit_const_param_default( &mut self, _param: HirId, ct: &'v ConstArg<'v>, ) -> Self::Result

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef) -> Self::Result

source§

fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef) -> Self::Result

source§

fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef) -> Self::Result

source§

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

source§

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

source§

fn visit_precise_capturing_arg( &mut self, arg: &'v PreciseCapturingArg<'v>, ) -> Self::Result

source§

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

source§

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

source§

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

source§

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

source§

fn visit_infer(&mut self, inf: &'v InferArg) -> Self::Result

source§

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

source§

fn visit_lifetime(&mut self, lifetime: &'v Lifetime) -> Self::Result

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn visit_attribute(&mut self, _attr: &'v Attribute) -> Self::Result

source§

fn visit_associated_item_kind( &mut self, kind: &'v AssocItemKind, ) -> Self::Result

source§

fn visit_defaultness(&mut self, defaultness: &'v Defaultness) -> Self::Result

source§

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

source§

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

source§

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. Read more
source§

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.
source§

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

source§

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.
source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

type Result = ()

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

fn visit_nested_item(&mut self, id: ItemId) -> Self::Result

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 at rustc_hir::intravisit. 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.
source§

fn visit_nested_trait_item(&mut self, id: TraitItemId) -> Self::Result

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

fn visit_nested_impl_item(&mut self, id: ImplItemId) -> Self::Result

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

fn visit_nested_foreign_item(&mut self, id: ForeignItemId) -> Self::Result

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

fn visit_nested_body(&mut self, id: BodyId) -> Self::Result

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

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

source§

fn visit_id(&mut self, _hir_id: HirId) -> Self::Result

source§

fn visit_name(&mut self, _name: Symbol) -> Self::Result

source§

fn visit_ident(&mut self, ident: Ident) -> Self::Result

source§

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

source§

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

source§

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

source§

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

source§

fn visit_array_length(&mut self, len: &'v ArrayLen<'v>) -> Self::Result

source§

fn visit_anon_const(&mut self, c: &'v AnonConst) -> Self::Result

source§

fn visit_inline_const(&mut self, c: &'v ConstBlock) -> Self::Result

source§

fn visit_const_arg(&mut self, c: &'v ConstArg<'v>) -> Self::Result

source§

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

source§

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

source§

fn visit_pattern_type_pattern(&mut self, _p: &'v Pat<'v>)

source§

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

source§

fn visit_const_param_default( &mut self, _param: HirId, ct: &'v ConstArg<'v>, ) -> Self::Result

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef) -> Self::Result

source§

fn visit_foreign_item_ref(&mut self, ii: &'v ForeignItemRef) -> Self::Result

source§

fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef) -> Self::Result

source§

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

source§

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

source§

fn visit_precise_capturing_arg( &mut self, arg: &'v PreciseCapturingArg<'v>, ) -> Self::Result

source§

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

source§

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

source§

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

source§

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

source§

fn visit_infer(&mut self, inf: &'v InferArg) -> Self::Result

source§

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

source§

fn visit_lifetime(&mut self, lifetime: &'v Lifetime) -> Self::Result

source§

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

source§

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

source§

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

source§

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

source§

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

source§

fn visit_attribute(&mut self, _attr: &'v Attribute) -> Self::Result

source§

fn visit_associated_item_kind( &mut self, kind: &'v AssocItemKind, ) -> Self::Result

source§

fn visit_defaultness(&mut self, defaultness: &'v Defaultness) -> Self::Result

source§

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

Auto Trait Implementations§

§

impl<'s, P> Freeze for LintLevelsBuilder<'s, P>
where P: Freeze,

§

impl<'s, P> !RefUnwindSafe for LintLevelsBuilder<'s, P>

§

impl<'s, P> !Send for LintLevelsBuilder<'s, P>

§

impl<'s, P> !Sync for LintLevelsBuilder<'s, P>

§

impl<'s, P> Unpin for LintLevelsBuilder<'s, P>
where P: Unpin,

§

impl<'s, P> !UnwindSafe for LintLevelsBuilder<'s, P>

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T, R> CollectAndApply<T, R> for T

source§

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

source§

type Output = R

source§

impl<T> Filterable for T

source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<P> IntoQueryParam<P> for P

source§

impl<T> MaybeResult<T> for T

source§

type Error = !

source§

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source§

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

source§

fn upcast(self, interner: I) -> U

source§

impl<I, T> UpcastFrom<I, T> for T

source§

fn upcast_from(from: T, _tcx: I) -> T

source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

source§

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

source§

impl<T> ErasedDestructor for T
where T: 'static,

source§

impl<T> MaybeSendSync for T

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.