Module loan_invalidations 

Re-exports

use std::ops::ControlFlow; 🔒

use rustc_data_structures::graph::dominators::Dominators; 🔒

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

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use super::PoloniusFacts; 🔒

use super::PoloniusLocationTable; 🔒

use crate::borrow_set::BorrowSet; 🔒

use crate::AccessDepth; 🔒

use crate::Activation; 🔒

use crate::ArtificialField; 🔒

use crate::BorrowIndex; 🔒

use crate::Deep; 🔒

use crate::LocalMutationIsAllowed; 🔒

use crate::Read; 🔒

use crate::ReadKind; 🔒

use crate::ReadOrWrite; 🔒

use crate::Reservation; 🔒

use crate::Shallow; 🔒

use crate::Write; 🔒

use crate::WriteKind; 🔒

use rustc_middle::mir::*; 🔒

use crate::path_utils::*; 🔒

Structs

LoanInvalidationsGenerator 🔒

Functions

emit_loan_invalidations 🔒

Emit loan_invalidated_at facts.