Structs

’cg = the duration of the constraint generation process itself.

Statics

CALLSITE 🔒
CALLSITE 🔒
CALLSITE 🔒
META 🔒
META 🔒
META 🔒

Functions

When recording facts for Polonius, records the borrows on the specified local as killed.