Struct rustc_lint::builtin::ExplicitOutlivesRequirements

pub struct ExplicitOutlivesRequirements;

Implementations

impl ExplicitOutlivesRequirements

pub fn get_lints() -> LintArray

impl ExplicitOutlivesRequirements

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

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

pub(in builtin) 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>>

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

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

Trait Implementations

impl Clone for ExplicitOutlivesRequirements

pub fn clone(&self) -> ExplicitOutlivesRequirements

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for ExplicitOutlivesRequirements

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

pub fn check_item(&mut self, cx: &LateContext<'tcx>, item: &'tcx 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 ExplicitOutlivesRequirements

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