Module rustc_borrowck::borrowck [−][src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
See The Book chapter on the borrow checker for more details.
Re-exports
pub use self::LoanPathKind::*; |
pub use self::LoanPathElem::*; |
pub use self::bckerr_code::*; |
pub use self::AliasableViolationKind::*; |
pub use self::MovedValueUseKind::*; |
use self::InteriorKind::*; |
use rustc::hir::HirId; |
use rustc::hir::map as hir_map; |
use rustc::hir::map::blocks::FnLikeNode; |
use rustc::cfg; |
use rustc::middle::dataflow::DataFlowContext; |
use rustc::middle::dataflow::BitwiseOperator; |
use rustc::middle::dataflow::DataFlowOperator; |
use rustc::middle::dataflow::KillFrom; |
use rustc::middle::borrowck::BorrowCheckResult; |
use rustc::hir::def_id::DefId; |
use rustc::hir::def_id::LocalDefId; |
use rustc::middle::expr_use_visitor as euv; |
use rustc::middle::mem_categorization as mc; |
use rustc::middle::mem_categorization::Categorization; |
use rustc::middle::mem_categorization::ImmutabilityBlame; |
use rustc::middle::region; |
use rustc::middle::free_region::RegionRelations; |
use rustc::ty; |
use rustc::ty::Ty; |
use rustc::ty::TyCtxt; |
use rustc::ty::maps::Providers; |
use rustc_mir::util::borrowck_errors::BorrowckErrors; |
use rustc_mir::util::borrowck_errors::Origin; |
use rustc::util::nodemap::FxHashSet; |
use std::cell::RefCell; |
use std::fmt; |
use std::rc::Rc; |
use rustc_data_structures::sync::Lrc; |
use std::hash::Hash; |
use std::hash::Hasher; |
use syntax::ast; |
use syntax_pos::MultiSpan; |
use syntax_pos::Span; |
use errors::DiagnosticBuilder; |
use errors::DiagnosticId; |
use rustc::hir; |
use rustc::hir::intravisit; |
use rustc::hir::intravisit::Visitor; |
Modules
check_loans |
[ Experimental ]
|
gather_loans |
[ Experimental ]
|
move_data |
[ Experimental ] Data structures used for tracking moves. Please see the extensive
comments in the section "Moves and initialization" in |
unused |
[ Experimental ]
|
Structs
AnalysisData |
[ Experimental ] Collection of conclusions determined via borrow checker analyses. |
BckError |
[ Experimental ]
|
BorrowckCtxt |
[ Experimental ]
|
Loan |
[ Experimental ] Record of a loan that was issued. |
LoanDataFlowOperator |
[ Experimental ]
|
LoanPath |
[ Experimental ]
|
Enums
AliasableViolationKind |
[ Experimental ]
|
InteriorKind |
[ Experimental ]
|
LoanPathElem |
[ Experimental ]
|
LoanPathKind |
[ Experimental ]
|
MovedValueUseKind |
[ Experimental ]
|
bckerr_code |
[ Experimental ]
|
Constants
DOWNCAST_PRINTED_OPERATOR |
[ Experimental ]
|
Traits
ToInteriorKind |
[ Experimental ]
|
Functions
borrowck |
[ Experimental ]
|
build_borrowck_dataflow_data |
[ Experimental ]
|
build_borrowck_dataflow_data_for_fn |
[ Experimental ] Accessor for introspective clients inspecting |
check_crate |
[ Experimental ]
|
closure_to_block |
[ Experimental ]
|
opt_loan_path |
[ Experimental ] Computes the |
opt_loan_path_is_field |
[ Experimental ]
|
provide |
[ Experimental ]
|
Type Definitions
LoanDataFlow |
[ Experimental ]
|