Module loan_invalidations

rustc_borrowck::polonius::legacy

Module loan_invalidations 

Source

Structs§

LoanInvalidationsGenerator 🔒

Functions§

emit_loan_invalidations 🔒
Emit loan_invalidated_at facts.