Module borrow_check

Re-exports

pub use self::demand::Demand;

Modules

analysis

This module introduced the BackAnalysis utility that allows writing analyzers that go backwards in the flow of the program, on a Lowered representation.

demand

Structs

BorrowChecker

Enums

DropPosition

PanicState

A state saved for each position in the back analysis. Used to determine if this flow is guaranteed to end in a panic.

Functions

borrow_check

Report borrow checking diagnostics. Returns the potential destruct function calls per block.

Type Aliases

BorrowCheckerDemand

PotentialDestructCalls

The possible destruct calls per block.