Module equality_analysis 

Equality analysis for lowered IR.

This module tracks semantic equivalence between variables as information flows through the program. Two variables are equivalent if they hold the same value. Additionally, the analysis tracks Box/unbox, snapshot/desnap, and struct/array construct relationships between equivalence classes via unified forward/reverse maps. Arrays reuse the struct construct representation since both map (TypeId, Vec<VariableId>) — array pop operations act as destructures.

Structs

EqualityAnalysis

Variable equality analysis.

EqualityState

State for the equality analysis, tracking variable equivalences.