Module loan_kills 

Re-exports

use rustc_middle::mir::visit::Visitor; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::Place; 🔒

use rustc_middle::mir::PlaceRef; 🔒

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::ty::TyCtxt; 🔒

use tracing::debug; 🔒

use super::PoloniusFacts; 🔒

use super::PoloniusLocationTable; 🔒

use crate::borrow_set::BorrowSet; 🔒

use crate::places_conflict; 🔒

use crate::places_conflict; 🔒

Structs

LoanKillsGenerator 🔒

Functions

emit_loan_kills 🔒

Emit loan_killed_at and cfg_edge facts at the same time.