Struct LintThir 

pub(super) struct LintThir<'thir, 'tcx> {
    thir: &'thir Thir<'tcx>,
    linter: LintState<'tcx>,
    owner: OwnerId,
}

Fields

thir: &'thir Thir<'tcx>

linter: LintState<'tcx>

owner: OwnerId

Implementations

impl<'thir, 'tcx: 'thir> LintThir<'thir, 'tcx>

pub(super) fn check_item( tcx: TyCtxt<'tcx>, owner: OwnerId, item: LocalDefId, ) -> Option<()>

Entrypoint.

We need a separate owner to be able to synthesize HirIds from expression IDs. item might not be an owner if it’s a closure.

fn find_unvalidated_use(&mut self, expr: &Expr<'tcx>) -> Option<Use<'tcx>>

fn instance_of_ty_ignoring_validated( &self, ty: Ty<'tcx>, span: Span, ) -> Option<Instance<'tcx>>

fn try_instantiate( &self, def_id: DefId, args: &'tcx GenericArgs<'tcx>, span: Span, ) -> InstantiateResult<'tcx>

fn typing_env(&self) -> TypingEnv<'tcx>

Trait Implementations

impl<'thir, 'tcx: 'thir> Visitor<'thir, 'tcx> for LintThir<'thir, 'tcx>

fn thir(&self) -> &'thir Thir<'tcx>

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

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

fn visit_block(&mut self, block: &'thir Block)

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

fn visit_pat(&mut self, pat: &'thir Pat<'tcx>)

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