Optimizer: treat `EI_ilzero` (Unchecked.defaultof) as effect-free to enable dead binding elimination#19758

Open

Copilot wants to merge 3 commits into

mainfrom

copilot/fix-unchecked-defaultof-optimization

Commits on May 20, 2026

Fix EI_ilzero optimization: treat Unchecked.defaultof as effect-free for concrete types

T-Gro
and
Copilot
committed
Use freeInTypes to detect nested type variables in EI_ilzero check

T-Gro
and
Copilot
committed
Use freeInTypes to detect nested type variables in EI_ilzero check

T-Gro
and
Copilot
committed