Struct rustc_lint::types::TypeLimits

pub struct TypeLimits {
    negated_expr_id: Option<HirId>,
}

Fields

negated_expr_id: Option<HirId>

Id of the last visited negated expression

Implementations

impl TypeLimits

pub fn get_lints() -> LintArray

impl TypeLimits

pub fn new() -> TypeLimits

Trait Implementations

impl Clone for TypeLimits

fn clone(&self) -> TypeLimits

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> LateLintPass<'tcx> for TypeLimits

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

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

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

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

fn check_name(&mut self, _: &LateContext<'tcx>, _: Span, _: Symbol)

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>,
    _: Span,
    _: HirId
)

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

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

fn check_foreign_item_post(
    &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 Local<'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_infer(&mut self, _: &LateContext<'tcx>, _: &'tcx InferArg)

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

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

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

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

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

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

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

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

fn check_trait_item_post(
    &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_struct_def_post(
    &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_variant_post(&mut self, _: &LateContext<'tcx>, _: &'tcx Variant<'tcx>)

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

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

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

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

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

impl LintPass for TypeLimits

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

impl Copy for TypeLimits

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