Modulesยง
- possible_
borrower ๐ - possible_
origin ๐ - transitive_
relation ๐
Structsยง
- Local
Usage - Possible
Borrower Map - Result of
PossibleBorrowerVisitor
. - V ๐
Functionsยง
- block_
in_ cycle - Checks if the block is part of a cycle
- enclosing_
mir - Returns the
mir::Body
containing the node associated withhir_id
. - expr_
local - Tries to determine the
Local
corresponding toexpr
, if any. This function is expensive and should be used sparingly. - is_
local_ ๐assignment - local_
assignments - Returns a vector of
mir::Location
wherelocal
is assigned. - used_
exactly_ once - Convenience wrapper around
visit_local_usage
. - visit_
local_ usage