Struct rustc_lint::LintStore
source · pub struct LintStore {
lints: Vec<&'static Lint>,
pub pre_expansion_passes: Vec<Box<dyn Fn() -> Box<dyn EarlyLintPass + 'static> + DynSend + DynSync>>,
pub early_passes: Vec<Box<dyn Fn() -> Box<dyn EarlyLintPass + 'static> + DynSend + DynSync>>,
pub late_passes: Vec<Box<dyn for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + DynSend + DynSync>>,
pub late_module_passes: Vec<Box<dyn for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + DynSend + DynSync>>,
by_name: UnordMap<String, TargetLint>,
lint_groups: FxIndexMap<&'static str, LintGroup>,
}
Expand description
Information about the registered lints.
This is basically the subset of Context
that we can
build early in the compile pipeline.
Fields§
§lints: Vec<&'static Lint>
Registered lints.
pre_expansion_passes: Vec<Box<dyn Fn() -> Box<dyn EarlyLintPass + 'static> + DynSend + DynSync>>
Constructor functions for each variety of lint pass.
These should only be called once, but since we want to avoid locks or interior mutability, we don’t enforce this (and lints should, in theory, be compatible with being constructed more than once, though not necessarily in a sane manner. This is safe though.)
early_passes: Vec<Box<dyn Fn() -> Box<dyn EarlyLintPass + 'static> + DynSend + DynSync>>
§late_passes: Vec<Box<dyn for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + DynSend + DynSync>>
§late_module_passes: Vec<Box<dyn for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + DynSend + DynSync>>
This is unique in that we construct them per-module, so not once.
by_name: UnordMap<String, TargetLint>
Lints indexed by name.
lint_groups: FxIndexMap<&'static str, LintGroup>
Map of registered lint groups to what lints they expand to.
Implementations§
source§impl LintStore
impl LintStore
pub fn new() -> LintStore
pub fn get_lints<'t>(&'t self) -> &'t [&'static Lint]
pub fn get_lint_groups<'t>( &'t self, ) -> impl Iterator<Item = (&'static str, Vec<LintId>, bool)> + 't
pub fn register_early_pass( &mut self, pass: impl Fn() -> Box<dyn EarlyLintPass + 'static> + 'static + DynSend + DynSync, )
sourcepub fn register_pre_expansion_pass(
&mut self,
pass: impl Fn() -> Box<dyn EarlyLintPass + 'static> + 'static + DynSend + DynSync,
)
pub fn register_pre_expansion_pass( &mut self, pass: impl Fn() -> Box<dyn EarlyLintPass + 'static> + 'static + DynSend + DynSync, )
This lint pass is softly deprecated. It misses expanded code and has caused a few errors in the past. Currently, it is only used in Clippy. New implementations should avoid using this interface, as it might be removed in the future.
- See rust#69838
- See rust-clippy#5518
pub fn register_late_pass( &mut self, pass: impl for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + 'static + DynSend + DynSync, )
pub fn register_late_mod_pass( &mut self, pass: impl for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + 'static + DynSend + DynSync, )
sourcepub fn register_lints(&mut self, lints: &[&'static Lint])
pub fn register_lints(&mut self, lints: &[&'static Lint])
Helper method for register_early/late_pass
pub fn register_group_alias( &mut self, lint_name: &'static str, alias: &'static str, )
pub fn register_group( &mut self, is_externally_loaded: bool, name: &'static str, deprecated_name: Option<&'static str>, to: Vec<LintId>, )
sourcepub fn register_ignored(&mut self, name: &str)
pub fn register_ignored(&mut self, name: &str)
This lint should give no warning and have no effect.
This is used by rustc to avoid warning about old rustdoc lints before rustdoc registers them as tool lints.
sourcepub fn register_renamed(&mut self, old_name: &str, new_name: &str)
pub fn register_renamed(&mut self, old_name: &str, new_name: &str)
This lint has been renamed; warn about using the new name and apply the lint.
pub fn register_removed(&mut self, name: &str, reason: &str)
pub fn find_lints(&self, lint_name: &str) -> Result<Vec<LintId>, FindLintError>
sourcepub fn is_lint_group(&self, lint_name: Symbol) -> bool
pub fn is_lint_group(&self, lint_name: Symbol) -> bool
True if this symbol represents a lint group name.
sourcepub fn check_lint_name(
&self,
lint_name: &str,
tool_name: Option<Symbol>,
registered_tools: &RegisteredTools,
) -> CheckLintNameResult<'_>
pub fn check_lint_name( &self, lint_name: &str, tool_name: Option<Symbol>, registered_tools: &RegisteredTools, ) -> CheckLintNameResult<'_>
Checks the name of a lint for its existence, and whether it was
renamed or removed. Generates a Diag
containing a
warning for renamed and removed lints. This is over both lint
names from attributes and those passed on the command line. Since
it emits non-fatal warnings and there are two lint passes that
inspect attributes, this is only run from the late pass to avoid
printing duplicate warnings.
fn no_lint_suggestion( &self, lint_name: &str, tool_name: &str, ) -> CheckLintNameResult<'_>
fn check_tool_name_for_backwards_compat( &self, lint_name: &str, tool_name: &str, ) -> CheckLintNameResult<'_>
Trait Implementations§
impl LintStoreMarker for LintStore
Auto Trait Implementations§
impl Freeze for LintStore
impl !RefUnwindSafe for LintStore
impl !Send for LintStore
impl !Sync for LintStore
impl Unpin for LintStore
impl !UnwindSafe for LintStore
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 208 bytes