Module scope_lifetime 

Structs

LifetimeConstraint

Scope

Represents a scope in the program (function, block, loop, etc.)

ScopedLifetimeTracker

Tracks lifetimes with respect to program scopes

Enums

ConstraintKind

ScopeKind

Functions

analyze_function_scopes

Analyze a function with scope-based lifetime tracking

check_scoped_lifetimes