Skip to content

chore: legitimize projections on tagged values#11586

Merged
hargoniX merged 1 commit intomasterfrom
hbv/ir_typecheck
Dec 10, 2025
Merged

chore: legitimize projections on tagged values#11586
hargoniX merged 1 commit intomasterfrom
hbv/ir_typecheck

Commits

Commits on Dec 10, 2025