Module rustc_borrowck::polonius
source ยท Expand description
Functions dedicated to fact generation for the -Zpolonius=legacy
datalog implementation.
Will be removed in the future, once the in-tree -Zpolonius=next
implementation reaches feature
parity.
Modulesยง
- loan_
invalidations ๐ - loan_
kills ๐
Functionsยง
- Emit facts about CFG points and edges, as well as locations where loans are killed.
- emit_
facts ๐When requested, emit most of the facts needed by polonius: - Emit facts about loan invalidations.
- emit_
move_ ๐facts Emit facts needed for move/init analysis: moves and assignments. - Emit universal regions facts, and their relations.