Module root 

Structs

UnsafeRoot

A function that contains unsafe operations — an “unsafe root”.

Enums

UnsafeOpKind

Kind of unsafe operation found in a function body.

Functions

function_has_struct_invariant

Quick check: does this function’s owning struct have invariants?

function_has_trait_ensurance

Quick check: does this function’s containing impl implement an unsafe trait?

has_struct_invariant

Check if a struct has #[rapx::invariant(...)] annotations.

hir_contains_unsafe

Fast HIR-level pre-check: does this function contain unsafe blocks or is it declared unsafe fn?

scan_mir

Full MIR-level detection: scan the function body for all unsafe operations.