Struct rustc_lint::builtin::ExplicitOutlivesRequirements

pub struct ExplicitOutlivesRequirements;

Implementations

impl ExplicitOutlivesRequirements

pub fn get_lints() -> LintArray

impl ExplicitOutlivesRequirements

fn lifetimes_outliving_lifetime<'tcx>(
    inferred_outlives: &'tcx [(Predicate<'tcx>, Span)],
    index: u32
) -> Vec<Region<'tcx>>

fn lifetimes_outliving_type<'tcx>(
    inferred_outlives: &'tcx [(Predicate<'tcx>, Span)],
    index: u32
) -> Vec<Region<'tcx>>

fn collect_outlived_lifetimes<'tcx>(
    &self,
    param: &'tcx GenericParam<'tcx>,
    tcx: TyCtxt<'tcx>,
    inferred_outlives: &'tcx [(Predicate<'tcx>, Span)],
    ty_generics: &'tcx Generics
) -> Vec<Region<'tcx>>

fn collect_outlives_bound_spans<'tcx>(
    &self,
    tcx: TyCtxt<'tcx>,
    bounds: &GenericBounds<'_>,
    inferred_outlives: &[Region<'tcx>],
    infer_static: bool
) -> Vec<(usize, Span)>

fn consolidate_outlives_bound_spans(
    &self,
    lo: Span,
    bounds: &GenericBounds<'_>,
    bound_spans: Vec<(usize, Span)>
) -> Vec<Span>

Trait Implementations

impl Clone for ExplicitOutlivesRequirements

fn clone(&self) -> ExplicitOutlivesRequirements

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> LateLintPass<'tcx> for ExplicitOutlivesRequirements

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

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

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

impl Copy for ExplicitOutlivesRequirements

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