Optimizer: eliminate unused `Unchecked.defaultof<'T>` bindings#19758

Open

Copilot wants to merge 24 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

Commits on May 29, 2026

Refactor EI_ilzero effect check: narrow to ILAsm, add non-regression test

T-Gro
and
Copilot
committed

Commits on Jun 18, 2026

Merge branch 'main' into copilot/fix-unchecked-defaultof-optimization
T-Gro
authored

Commits on Jun 23, 2026

Merge branch 'main' into copilot/fix-unchecked-defaultof-optimization
T-Gro
authored

Commits on Jun 29, 2026

Merge remote-tracking branch 'origin/main' into copilot/fix-unchecked-defaultof-optimization
Copilot
committed
Refine ilzero effect-freedom to fully-ground types; add tests

Copilot
and
Copilot
committed
Revert defaultof elimination: unsafe for SRTP witness typars

Copilot
and
Copilot
committed

Commits on Jun 30, 2026

Commits on Jul 2, 2026