Skip to main content

Module impl_trait_overcaptures

rustc_lint

Module impl_trait_overcaptures 

Source

Re-exports§

use std::cell::LazyCell; 🔒
use std::debug_assert_matches; 🔒
use rustc_data_structures::fx::FxHashMap; 🔒
use rustc_data_structures::fx::FxIndexMap; 🔒
use rustc_data_structures::fx::FxIndexSet; 🔒
use rustc_data_structures::unord::UnordSet; 🔒
use rustc_errors::Diagnostic; 🔒
use rustc_errors::Subdiagnostic; 🔒
use rustc_errors::msg; 🔒
use rustc_hir as hir; 🔒
use rustc_hir::def::DefKind; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_hir::def_id::LocalDefId; 🔒
use rustc_infer::infer::TyCtxtInferExt; 🔒
use rustc_infer::infer::outlives::env::OutlivesEnvironment; 🔒
use rustc_lint_defs::declare_lint; 🔒
use rustc_lint_defs::declare_lint_pass; 🔒
use rustc_lint_defs::fcw; 🔒
use rustc_macros::Diagnostic; 🔒
use rustc_middle::middle::resolve_bound_vars::ResolvedArg; 🔒
use rustc_middle::ty::relate::Relate; 🔒
use rustc_middle::ty::relate::RelateResult; 🔒
use rustc_middle::ty::relate::TypeRelation; 🔒
use rustc_middle::ty::relate::relate_args_with_variances; 🔒
use rustc_middle::ty::relate::structurally_relate_consts; 🔒
use rustc_middle::ty::relate::structurally_relate_tys; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeSuperVisitable; 🔒
use rustc_middle::ty::TypeVisitable; 🔒
use rustc_middle::ty::TypeVisitableExt; 🔒
use rustc_middle::ty::TypeVisitor; 🔒
use rustc_middle::ty::Unnormalized; 🔒
use rustc_span::Span; 🔒
use rustc_span::Symbol; 🔒
use rustc_span::bug; 🔒
use rustc_span::span_bug; 🔒
use rustc_trait_selection::diagnostics::AddPreciseCapturingForOvercapture; 🔒
use rustc_trait_selection::diagnostics::impl_trait_overcapture_suggestion; 🔒
use rustc_trait_selection::regions::OutlivesEnvironmentBuildExt; 🔒
use rustc_trait_selection::traits::ObligationCtxt; 🔒
use crate::LateContext; 🔒
use crate::LateLintPass; 🔒

Structs§

FunctionalVariances 🔒
Computes the variances of regions that appear in the type, but considering late-bound regions too, which don’t have their variance computed usually.
ImplTraitOvercaptures
Lint for opaque types that will begin capturing in-scope but unmentioned lifetimes in edition 2024.
ImplTraitOvercapturesLint 🔒
ImplTraitRedundantCapturesLint 🔒
VisitOpaqueTypes 🔒

Enums§

ParamKind 🔒

Statics§

IMPL_TRAIT_OVERCAPTURES
The impl_trait_overcaptures lint warns against cases where lifetime capture behavior will differ in edition 2024.
IMPL_TRAIT_REDUNDANT_CAPTURES
The impl_trait_redundant_captures lint warns against cases where use of the precise capturing use<...> syntax is not needed.

Functions§

check_fn 🔒
extract_def_id_from_arg 🔒
unify 🔒
What is the variance that satisfies the two variances?