Module ir 

Structs

BasicBlock

IrFunction

IrProgram

LambdaCaptureInfo

Information about a lambda capture

Lifetime

LifetimeConstraint

Represents a lifetime constraint (e.g., ’a: ’b means ’a outlives ’b)

LifetimeParam

Represents a lifetime parameter declared in the function signature Example: In @lifetime: (&'a, &'b) -> &'a where 'a: 'b, we have lifetime params ’a and ’b

ParameterLifetime

Represents the lifetime annotation of a parameter

ReturnLifetime

Represents the lifetime annotation of the return value

VariableInfo

Enums

BorrowKind

IrExpression

IrStatement

OwnershipEdge

OwnershipState

Terminator

VariableType

Functions

build_ir

build_ir_with_safety_context

is_raii_type_with_user_defined

RAII Phase 2: Check if type is RAII, including user-defined types with destructors

populate_lifetime_info

Populate IrFunction lifetime fields from FunctionSignature annotations

Type Aliases

ControlFlowGraph

OwnershipGraph