pub struct LintStore {
    lints: Vec<&'static Lint>,
    pub pre_expansion_passes: Vec<Box<dyn Fn() -> Box<dyn EarlyLintPass + 'static> + Send + Sync>>,
    pub early_passes: Vec<Box<dyn Fn() -> Box<dyn EarlyLintPass + 'static> + Send + Sync>>,
    pub late_passes: Vec<Box<dyn for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + Send + Sync>>,
    pub late_module_passes: Vec<Box<dyn for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + Send + Sync>>,
    by_name: FxHashMap<String, TargetLint>,
    lint_groups: FxHashMap<&'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> + Send + Sync>>

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> + Send + Sync>>§late_passes: Vec<Box<dyn for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + Send + Sync>>§late_module_passes: Vec<Box<dyn for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + Send + Sync>>

This is unique in that we construct them per-module, so not once.

§by_name: FxHashMap<String, TargetLint>

Lints indexed by name.

§lint_groups: FxHashMap<&'static str, LintGroup>

Map of registered lint groups to what lints they expand to.

Implementations§

source§

impl LintStore

source

pub fn new() -> LintStore

source

pub fn get_lints<'t>(&'t self) -> &'t [&'static Lint]

source

pub fn get_lint_groups<'t>(
    &'t self
) -> impl Iterator<Item = (&'static str, Vec<LintId>, bool)> + 't

source

pub fn register_early_pass(
    &mut self,
    pass: impl Fn() -> Box<dyn EarlyLintPass + 'static> + 'static + Send + Sync
)

source

pub fn register_pre_expansion_pass(
    &mut self,
    pass: impl Fn() -> Box<dyn EarlyLintPass + 'static> + 'static + Send + Sync
)

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.

source

pub fn register_late_pass(
    &mut self,
    pass: impl for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + 'static + Send + Sync
)

source

pub fn register_late_mod_pass(
    &mut self,
    pass: impl for<'tcx> Fn(TyCtxt<'tcx>) -> Box<dyn LateLintPass<'tcx> + 'tcx> + 'static + Send + Sync
)

source

pub fn register_lints(&mut self, lints: &[&'static Lint])

Helper method for register_early/late_pass

source

pub fn register_group_alias(
    &mut self,
    lint_name: &'static str,
    alias: &'static str
)

source

pub fn register_group(
    &mut self,
    from_plugin: bool,
    name: &'static str,
    deprecated_name: Option<&'static str>,
    to: Vec<LintId>
)

source

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.

source

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.

source

pub fn register_removed(&mut self, name: &str, reason: &str)

source

pub fn find_lints(&self, lint_name: &str) -> Result<Vec<LintId>, FindLintError>

source

pub fn check_lint_name_cmdline(
    &self,
    sess: &Session,
    lint_name: &str,
    level: Level,
    registered_tools: &RegisteredTools
)

Checks the validity of lint names derived from the command line.

source

pub fn is_lint_group(&self, lint_name: Symbol) -> bool

True if this symbol represents a lint group name.

source

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 DiagnosticBuilder 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.

source

fn no_lint_suggestion(&self, lint_name: &str) -> CheckLintNameResult<'_>

source

fn check_tool_name_for_backwards_compat(
    &self,
    lint_name: &str,
    tool_name: &str
) -> CheckLintNameResult<'_>

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

const: unstable · source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

const: unstable · 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, U> TryFrom<U> for Twhere
    U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
const: unstable · source§

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

Performs the conversion.

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: 184 bytes