[−][src]Struct rustc_lint::late::LateContextAndPass
Fields
context: LateContext<'tcx>pass: TImplementations
impl<'tcx, T: LateLintPass<'tcx>> LateContextAndPass<'tcx, T>[src]
pub(in late) fn with_lint_attrs<F>(
&mut self,
id: HirId,
attrs: &'tcx [Attribute],
f: F
) where
F: FnOnce(&mut Self), [src]
&mut self,
id: HirId,
attrs: &'tcx [Attribute],
f: F
) where
F: FnOnce(&mut Self),
Merge the lints specified by any lint attributes into the current lint context, call the provided function, then reset the lints in effect to their previous state.
pub(in late) fn with_param_env<F>(
&mut self,
id: HirId,
f: F
) where
F: FnOnce(&mut Self), [src]
&mut self,
id: HirId,
f: F
) where
F: FnOnce(&mut Self),
pub(in late) fn process_mod(
&mut self,
m: &'tcx Mod<'tcx>,
s: Span,
n: HirId
)[src]
&mut self,
m: &'tcx Mod<'tcx>,
s: Span,
n: HirId
)
pub(in late) fn enter_attrs(
&mut self,
attrs: &'tcx [Attribute]
)[src]
&mut self,
attrs: &'tcx [Attribute]
)
pub(in late) fn exit_attrs(
&mut self,
attrs: &'tcx [Attribute]
)[src]
&mut self,
attrs: &'tcx [Attribute]
)
Trait Implementations
impl<'tcx, T: LateLintPass<'tcx>> Visitor<'tcx> for LateContextAndPass<'tcx, T>[src]
type Map = Map<'tcx>
pub fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map>[src]
Because lints are scoped lexically, we want to walk nested items in the context of the outer item, so enable deep-walking.
pub fn visit_nested_body(&mut self, body_id: BodyId)[src]
pub fn visit_param(&mut self, param: &'tcx Param<'tcx>)[src]
pub fn visit_body(&mut self, body: &'tcx Body<'tcx>)[src]
pub fn visit_item(&mut self, it: &'tcx Item<'tcx>)[src]
pub fn visit_foreign_item(&mut self, it: &'tcx ForeignItem<'tcx>)[src]
pub fn visit_pat(&mut self, p: &'tcx Pat<'tcx>)[src]
pub fn visit_expr(&mut self, e: &'tcx Expr<'tcx>)[src]
pub fn visit_stmt(&mut self, s: &'tcx Stmt<'tcx>)[src]
pub fn visit_fn(
&mut self,
fk: FnKind<'tcx>,
decl: &'tcx FnDecl<'tcx>,
body_id: BodyId,
span: Span,
id: HirId
)[src]
&mut self,
fk: FnKind<'tcx>,
decl: &'tcx FnDecl<'tcx>,
body_id: BodyId,
span: Span,
id: HirId
)
pub fn visit_variant_data(
&mut self,
s: &'tcx VariantData<'tcx>,
_: Symbol,
_: &'tcx Generics<'tcx>,
_: HirId,
_: Span
)[src]
&mut self,
s: &'tcx VariantData<'tcx>,
_: Symbol,
_: &'tcx Generics<'tcx>,
_: HirId,
_: Span
)
pub fn visit_struct_field(&mut self, s: &'tcx StructField<'tcx>)[src]
pub fn visit_variant(
&mut self,
v: &'tcx Variant<'tcx>,
g: &'tcx Generics<'tcx>,
item_id: HirId
)[src]
&mut self,
v: &'tcx Variant<'tcx>,
g: &'tcx Generics<'tcx>,
item_id: HirId
)
pub fn visit_ty(&mut self, t: &'tcx Ty<'tcx>)[src]
pub fn visit_name(&mut self, sp: Span, name: Symbol)[src]
pub fn visit_mod(&mut self, m: &'tcx Mod<'tcx>, s: Span, n: HirId)[src]
pub fn visit_local(&mut self, l: &'tcx Local<'tcx>)[src]
pub fn visit_block(&mut self, b: &'tcx Block<'tcx>)[src]
pub fn visit_arm(&mut self, a: &'tcx Arm<'tcx>)[src]
pub fn visit_generic_param(&mut self, p: &'tcx GenericParam<'tcx>)[src]
pub fn visit_generics(&mut self, g: &'tcx Generics<'tcx>)[src]
pub fn visit_where_predicate(&mut self, p: &'tcx WherePredicate<'tcx>)[src]
pub fn visit_poly_trait_ref(
&mut self,
t: &'tcx PolyTraitRef<'tcx>,
m: TraitBoundModifier
)[src]
&mut self,
t: &'tcx PolyTraitRef<'tcx>,
m: TraitBoundModifier
)
pub fn visit_trait_item(&mut self, trait_item: &'tcx TraitItem<'tcx>)[src]
pub fn visit_impl_item(&mut self, impl_item: &'tcx ImplItem<'tcx>)[src]
pub fn visit_lifetime(&mut self, lt: &'tcx Lifetime)[src]
pub fn visit_path(&mut self, p: &'tcx Path<'tcx>, id: HirId)[src]
pub fn visit_attribute(&mut self, attr: &'tcx Attribute)[src]
pub fn visit_nested_item(&mut self, id: ItemId)[src]
pub fn visit_nested_trait_item(&mut self, id: TraitItemId)[src]
pub fn visit_nested_impl_item(&mut self, id: ImplItemId)[src]
pub fn as_deep_visitor(&mut self) -> DeepVisitor<'_, Self>[src]
pub fn visit_id(&mut self, _hir_id: HirId)[src]
pub fn visit_ident(&mut self, ident: Ident)[src]
pub fn visit_anon_const(&mut self, c: &'v AnonConst)[src]
pub fn visit_fn_decl(&mut self, fd: &'v FnDecl<'v>)[src]
pub fn visit_use(&mut self, path: &'v Path<'v>, hir_id: HirId)[src]
pub fn visit_trait_item_ref(&mut self, ii: &'v TraitItemRef)[src]
pub fn visit_impl_item_ref(&mut self, ii: &'v ImplItemRef<'v>)[src]
pub fn visit_trait_ref(&mut self, t: &'v TraitRef<'v>)[src]
pub fn visit_param_bound(&mut self, bounds: &'v GenericBound<'v>)[src]
pub fn visit_enum_def(
&mut self,
enum_definition: &'v EnumDef<'v>,
generics: &'v Generics<'v>,
item_id: HirId,
Span
)[src]
&mut self,
enum_definition: &'v EnumDef<'v>,
generics: &'v Generics<'v>,
item_id: HirId,
Span
)
pub fn visit_label(&mut self, label: &'v Label)[src]
pub fn visit_generic_arg(&mut self, generic_arg: &'v GenericArg<'v>)[src]
pub fn visit_qpath(&mut self, qpath: &'v QPath<'v>, id: HirId, span: Span)[src]
pub fn visit_path_segment(
&mut self,
path_span: Span,
path_segment: &'v PathSegment<'v>
)[src]
&mut self,
path_span: Span,
path_segment: &'v PathSegment<'v>
)
pub fn visit_generic_args(
&mut self,
path_span: Span,
generic_args: &'v GenericArgs<'v>
)[src]
&mut self,
path_span: Span,
generic_args: &'v GenericArgs<'v>
)
pub fn visit_assoc_type_binding(&mut self, type_binding: &'v TypeBinding<'v>)[src]
pub fn visit_macro_def(&mut self, macro_def: &'v MacroDef<'v>)[src]
pub fn visit_vis(&mut self, vis: &'v Spanned<VisibilityKind<'v>>)[src]
pub fn visit_associated_item_kind(&mut self, kind: &'v AssocItemKind)[src]
pub fn visit_defaultness(&mut self, defaultness: &'v Defaultness)[src]
Auto Trait Implementations
impl<'tcx, T> !RefUnwindSafe for LateContextAndPass<'tcx, T>
impl<'tcx, T> !Send for LateContextAndPass<'tcx, T>
impl<'tcx, T> !Sync for LateContextAndPass<'tcx, T>
impl<'tcx, T> Unpin for LateContextAndPass<'tcx, T> where
T: Unpin,
T: Unpin,
impl<'tcx, T> !UnwindSafe for LateContextAndPass<'tcx, T>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,