Skip to content

Fold's unused-element optimization changed the item type without telling the closure signature - #9101

Merged
briansrls merged 5 commits into
mainfrom
session/witty-badger-734-fold-elem-ref
Aug 24, 2026
Merged

Fold's unused-element optimization changed the item type without telling the closure signature#9101
briansrls merged 5 commits into
mainfrom
session/witty-badger-734-fold-elem-ref

Second generation: the fixed point needs two rounds, not one

4e05115
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar