Struct IfLetRescope

pub(crate) struct IfLetRescope {
    skip: HirIdSet,
}

Lint for potential change in program semantics of if lets

Fields

skip: HirIdSet

Implementations

impl IfLetRescope

fn probe_if_cascade<'tcx>( &mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'tcx>, )

impl IfLetRescope

pub fn lint_vec() -> LintVec

Trait Implementations

impl Default for IfLetRescope

fn default() -> IfLetRescope

Returns the “default value” for a type.

impl<'tcx> LateLintPass<'tcx> for IfLetRescope

fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'tcx>)

fn check_body(&mut self, _: &LateContext<'tcx>, _: &Body<'tcx>)

fn check_body_post(&mut self, _: &LateContext<'tcx>, _: &Body<'tcx>)

fn check_crate(&mut self, _: &LateContext<'tcx>)

fn check_crate_post(&mut self, _: &LateContext<'tcx>)

fn check_mod(&mut self, _: &LateContext<'tcx>, _: &'tcx Mod<'tcx>, _: HirId)

fn check_foreign_item( &mut self, _: &LateContext<'tcx>, _: &'tcx ForeignItem<'tcx>, )

fn check_item(&mut self, _: &LateContext<'tcx>, _: &'tcx Item<'tcx>)

fn check_item_post(&mut self, _: &LateContext<'tcx>, _: &'tcx Item<'tcx>)

fn check_local(&mut self, _: &LateContext<'tcx>, _: &'tcx LetStmt<'tcx>)

fn check_block(&mut self, _: &LateContext<'tcx>, _: &'tcx Block<'tcx>)

fn check_block_post(&mut self, _: &LateContext<'tcx>, _: &'tcx Block<'tcx>)

fn check_stmt(&mut self, _: &LateContext<'tcx>, _: &'tcx Stmt<'tcx>)

fn check_arm(&mut self, _: &LateContext<'tcx>, _: &'tcx Arm<'tcx>)

fn check_pat(&mut self, _: &LateContext<'tcx>, _: &'tcx Pat<'tcx>)

fn check_expr_post(&mut self, _: &LateContext<'tcx>, _: &'tcx Expr<'tcx>)

fn check_ty(&mut self, _: &LateContext<'tcx>, _: &'tcx Ty<'tcx>)

fn check_generic_param( &mut self, _: &LateContext<'tcx>, _: &'tcx GenericParam<'tcx>, )

fn check_generics(&mut self, _: &LateContext<'tcx>, _: &'tcx Generics<'tcx>)

fn check_poly_trait_ref( &mut self, _: &LateContext<'tcx>, _: &'tcx PolyTraitRef<'tcx>, )

fn check_fn( &mut self, _: &LateContext<'tcx>, _: FnKind<'tcx>, _: &'tcx FnDecl<'tcx>, _: &'tcx Body<'tcx>, _: Span, _: LocalDefId, )

fn check_trait_item(&mut self, _: &LateContext<'tcx>, _: &'tcx TraitItem<'tcx>)

fn check_impl_item(&mut self, _: &LateContext<'tcx>, _: &'tcx ImplItem<'tcx>)

fn check_impl_item_post( &mut self, _: &LateContext<'tcx>, _: &'tcx ImplItem<'tcx>, )

fn check_struct_def( &mut self, _: &LateContext<'tcx>, _: &'tcx VariantData<'tcx>, )

fn check_field_def(&mut self, _: &LateContext<'tcx>, _: &'tcx FieldDef<'tcx>)

fn check_variant(&mut self, _: &LateContext<'tcx>, _: &'tcx Variant<'tcx>)

fn check_path(&mut self, _: &LateContext<'tcx>, _: &Path<'tcx>, _: HirId)

fn check_attribute(&mut self, _: &LateContext<'tcx>, _: &'tcx Attribute)

fn check_attributes(&mut self, _: &LateContext<'tcx>, _: &'tcx [Attribute])

fn check_attributes_post(&mut self, _: &LateContext<'tcx>, _: &'tcx [Attribute])

impl LintPass for IfLetRescope

fn name(&self) -> &'static str

fn get_lints(&self) -> LintVec

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