Module diagnostics 

Borrow checker diagnostics.

Re-exports

use std::collections::BTreeMap; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_abi::VariantIdx; 🔒

use rustc_attr_ir::lang_items::LangItem; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_errors::formatting::DiagMessageAddArg; 🔒

use rustc_errors::Applicability; 🔒

use rustc_errors::Diag; 🔒

use rustc_errors::DiagMessage; 🔒

use rustc_errors::MultiSpan; 🔒

use rustc_errors::listify; 🔒

use rustc_errors::msg; 🔒

use rustc_hir::def::CtorKind; 🔒

use rustc_hir::def::Namespace; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::CoroutineKind; 🔒

use rustc_hir::GenericBound; 🔒

use rustc_hir::WhereBoundPredicate; 🔒

use rustc_hir::WherePredicateKind; 🔒

use rustc_index::IndexSlice; 🔒

use rustc_index::IndexVec; 🔒

use rustc_infer::infer::BoundRegionConversionTime; 🔒

use rustc_infer::infer::NllRegionVariableOrigin; 🔒

use rustc_infer::traits::SelectionError; 🔒

use rustc_middle::mir::AggregateKind; 🔒

use rustc_middle::mir::CallSource; 🔒

use rustc_middle::mir::ConstOperand; 🔒

use rustc_middle::mir::ConstraintCategory; 🔒

use rustc_middle::mir::FakeReadCause; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::LocalInfo; 🔒

use rustc_middle::mir::LocalKind; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::Operand; 🔒

use rustc_middle::mir::Place; 🔒

use rustc_middle::mir::PlaceRef; 🔒

use rustc_middle::mir::PlaceTy; 🔒

use rustc_middle::mir::ProjectionElem; 🔒

use rustc_middle::mir::Rvalue; 🔒

use rustc_middle::mir::Statement; 🔒

use rustc_middle::mir::StatementKind; 🔒

use rustc_middle::mir::Terminator; 🔒

use rustc_middle::mir::TerminatorKind; 🔒

use rustc_middle::mir::VarDebugInfoContents; 🔒

use rustc_middle::mir::find_self_call; 🔒

use rustc_middle::ty::print::Print; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_mir_dataflow::move_paths::InitLocation; 🔒

use rustc_mir_dataflow::move_paths::LookupResult; 🔒

use rustc_mir_dataflow::move_paths::MoveOutIndex; 🔒

use rustc_span::def_id::LocalDefId; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::Span; 🔒

use rustc_span::Spanned; 🔒

use rustc_span::Symbol; 🔒

use rustc_span::bug; 🔒

use rustc_span::span_bug; 🔒

use rustc_span::sym; 🔒

use rustc_trait_selection::error_reporting::InferCtxtErrorExt; 🔒

use rustc_trait_selection::error_reporting::traits::call_kind::CallDesugaringKind; 🔒

use rustc_trait_selection::error_reporting::traits::call_kind::call_kind; 🔒

use rustc_trait_selection::infer::InferCtxtExt; 🔒

use rustc_trait_selection::traits::FulfillmentError; 🔒

use rustc_trait_selection::traits::FulfillmentErrorCode; 🔒

use rustc_trait_selection::traits::type_known_to_meet_bound_modulo_regions; 🔒

use tracing::debug; 🔒

use super::MirBorrowckCtxt; 🔒

use super::borrow_set::BorrowData; 🔒

use crate::LocalMutationIsAllowed; 🔒

use crate::constraints::OutlivesConstraint; 🔒

use crate::nll::ConstraintDescription; 🔒

use crate::session_diagnostics::CaptureArgLabel; 🔒

use crate::session_diagnostics::CaptureReasonLabel; 🔒

use crate::session_diagnostics::CaptureReasonNote; 🔒

use crate::session_diagnostics::CaptureReasonSuggest; 🔒

use crate::session_diagnostics::CaptureVarCause; 🔒

use crate::session_diagnostics::CaptureVarKind; 🔒

use crate::session_diagnostics::CaptureVarPathUseCause; 🔒

use crate::session_diagnostics::OnClosureNote; 🔒

pub(crate) use bound_region_errors::ToUniverseInfo; 🔒

pub(crate) use bound_region_errors::UniverseInfo; 🔒

pub(crate) use move_errors::IllegalMoveOriginKind; 🔒

pub(crate) use move_errors::MoveError; 🔒

pub(crate) use mutability_errors::AccessKind; 🔒

pub(crate) use outlives_suggestion::OutlivesSuggestionBuilder; 🔒

pub(crate) use region_errors::ErrorConstraintInfo; 🔒

pub(crate) use region_errors::RegionErrorKind; 🔒

pub(crate) use region_errors::RegionErrors; 🔒

pub(crate) use region_name::RegionName; 🔒

pub(crate) use region_name::RegionNameSource; 🔒

Modules

bound_region_errors 🔒

conflict_errors 🔒

explain_borrow 🔒

Print diagnostics to explain why values are borrowed.

find_all_local_uses 🔒

find_use 🔒

move_errors 🔒

mutability_errors 🔒

opaque_types 🔒

outlives_suggestion 🔒

Contains utilities for generating suggestions for borrowck errors related to unsatisfied outlives constraints.

region_errors 🔒

Error reporting machinery for lifetime errors.

region_name 🔒

var_name 🔒

Structs

BorrowckDiagnosticsBuffer 🔒

CapturedMessageOpt 🔒

Helper struct for explain_captures.

DescribePlaceOpt 🔒

IncludingTupleField 🔒

Enums

BorrowedContentSource 🔒

CallKind 🔒

CloneSuggestion 🔒

Tracks whether MirBorrowckCtxt::explain_captures emitted a clone suggestion, so callers can avoid emitting redundant suggestions downstream.

UseSpans 🔒

The span(s) associated to a use of a place.

Constants

LIMITATION_NOTE 🔒