Expand description
Unsafe call-site discovery and contract dispatch. Unsafe call-site contract dispatch and reporting helpers.
This module bridges MIR calls and safety-property checkers. It also owns the built-in unsafe-API matcher and a tiny MIR operand helper because both are only needed when identifying and instantiating call-site obligations.
Functions§
- get_
arg_ 🔒place - Convert a MIR operand into either a constant value or a local place index.
- has_
unsafe_ 🔒api_ contract - Return true when a cleaned function path has built-in unsafe API metadata.