Struct rustc_lint::builtin::TypeAliasBounds

pub struct TypeAliasBounds;

Lint for trait and lifetime bounds in type aliases being mostly ignored. They are relevant when using associated types, but otherwise neither checked at definition site nor enforced at use site.

Implementations

impl TypeAliasBounds

pub fn get_lints() -> LintArray

impl TypeAliasBounds

fn is_type_variable_assoc(qpath: &QPath<'_>) -> bool

fn suggest_changing_assoc_types(ty: &Ty<'_>, err: &mut DiagnosticBuilder<'_>)

Trait Implementations

impl Clone for TypeAliasBounds

pub fn clone(&self) -> TypeAliasBounds

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for TypeAliasBounds

impl<'tcx> LateLintPass<'tcx> for TypeAliasBounds

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

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_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(&mut self, _: &LateContext<'tcx>, _: &'tcx Expr<'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 TypeAliasBounds

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