Expand description
Error reporting machinery for lifetime errors.
Re-exportsยง
use rustc_data_structures::fx::FxHashMap;๐use rustc_data_structures::fx::FxIndexSet;๐use rustc_errors::Applicability;๐use rustc_errors::Diag;๐use rustc_errors::ErrorGuaranteed;๐use rustc_errors::MultiSpan;๐use rustc_errors::msg;๐use rustc_hir as hir;๐use rustc_hir::GenericBound::Trait;๐use rustc_hir::QPath::Resolved;๐use rustc_hir::WherePredicateKind::BoundPredicate;๐use rustc_hir::def::DefKind;๐use rustc_hir::def::Res::Def;๐use rustc_hir::def_id::DefId;๐use rustc_hir::intravisit::Visitor;๐use rustc_hir::PolyTraitRef;๐use rustc_hir::TyKind;๐use rustc_hir::WhereBoundPredicate;๐use rustc_infer::infer::NllRegionVariableOrigin;๐use rustc_infer::infer::SubregionOrigin;๐use rustc_middle::hir::place::PlaceBase;๐use rustc_middle::mir::AnnotationSource;๐use rustc_middle::mir::ConstraintCategory;๐use rustc_middle::mir::ReturnConstraint;๐use rustc_middle::ty;๐use rustc_middle::ty::GenericArgs;๐use rustc_middle::ty::Region;๐use rustc_middle::ty::RegionVid;๐use rustc_middle::ty::Ty;๐use rustc_middle::ty::TyCtxt;๐use rustc_middle::ty::TypeFoldable;๐use rustc_middle::ty::TypeVisitor;๐use rustc_middle::ty::fold_regions;๐use rustc_span::Ident;๐use rustc_span::Span;๐use rustc_span::Symbol;๐use rustc_span::bug;๐use rustc_span::kw;๐use rustc_trait_selection::error_reporting::InferCtxtErrorExt;๐use rustc_trait_selection::error_reporting::infer::nice_region_error;๐use rustc_trait_selection::error_reporting::infer::nice_region_error::HirTraitObjectVisitor;๐use rustc_trait_selection::error_reporting::infer::nice_region_error::NiceRegionError;๐use rustc_trait_selection::error_reporting::infer::nice_region_error::TraitObjectVisitor;๐use rustc_trait_selection::error_reporting::infer::nice_region_error::find_anon_type;๐use rustc_trait_selection::error_reporting::infer::nice_region_error::find_anon_type;๐use rustc_trait_selection::error_reporting::infer::nice_region_error::find_param_with_region;๐use rustc_trait_selection::error_reporting::infer::nice_region_error::suggest_adding_lifetime_params;๐use rustc_trait_selection::error_reporting::traits::suggestions::ReturnsVisitor;๐use rustc_trait_selection::infer::InferCtxtExt;๐use rustc_trait_selection::traits::Obligation;๐use rustc_trait_selection::traits::ObligationCtxt;๐use tracing::debug;๐use tracing::instrument;๐use tracing::instrument;๐use tracing::trace;๐use super::LIMITATION_NOTE;๐use super::OutlivesSuggestionBuilder;๐use super::RegionName;๐use super::RegionNameSource;๐use crate::consumers::OutlivesConstraint;๐use crate::nll::ConstraintDescription;๐use crate::region_infer::RegionInferenceContext;๐use crate::region_infer::TypeTest;๐use crate::session_diagnostics::FnMutError;๐use crate::session_diagnostics::FnMutReturnTypeErr;๐use crate::session_diagnostics::GenericDoesNotLiveLongEnough;๐use crate::session_diagnostics::LifetimeOutliveErr;๐use crate::session_diagnostics::LifetimeReturnCategoryErr;๐use crate::session_diagnostics::RequireStaticErr;๐use crate::session_diagnostics::VarHereDenote;๐use crate::universal_regions::DefiningTy;๐use crate::MirBorrowckCtxt;๐use crate::borrowck_errors;๐
Structsยง
- Error
Constraint ๐Info - Information about the various region constraints involved in a borrow checker error.
- Region
Errors ๐ - A collection of errors encountered during region inference. This is needed to efficiently report errors after borrow checking.
Enumsยง
- Region
Error ๐Kind