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

pub fn clone(&self) -> TypeLimits

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for TypeLimits

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

pub fn check_struct_field(
    &mut self,
    _: &LateContext<'tcx>,
    _: &'tcx StructField<'tcx>
)

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

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

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

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

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

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

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

impl LintPass for TypeLimits

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