Module legacy

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.

Re-exports

pub use self::location::*;

pub use self::facts::*;

Modules

accesses 🔒

facts 🔒

loan_invalidations 🔒

loan_kills 🔒

location 🔒

Functions

emit_drop_facts 🔒

For every potentially drop()-touched region region in local’s type (kind), emit a drop_of_var_derefs_origin(local, origin) fact.

emit_facts 🔒

When requested, emit most of the facts needed by polonius:

emit_move_facts 🔒

Emit facts needed for move/init analysis: moves and assignments.

emit_outlives_facts 🔒

Emit facts about the outlives constraints: the subset base relation, i.e. not a transitive closure.

emit_universal_region_facts 🔒

Emit universal regions facts, and their relations.