[compiler] Use aliasing effects for impurity inference#35522

Draft

josephsavona wants to merge 3 commits intomainfrom

Commits on Jan 13, 2026

[compiler] Improve impurity/ref tracking
josephsavona
committed
[compiler] Validate ref reads in render via improved impure value validation
josephsavona
committed

Commits on Jan 14, 2026

[compiler] Use aliasing effects for impurity inference
josephsavona
committed