Skip to content

Make fold_item_recur non-nullable#79310

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:fold-item-cleanup
Nov 24, 2020
Merged

Make `fold_item_recur` non-nullable#79310
bors merged 1 commit intorust-lang:masterfrom
jyn514:fold-item-cleanup

Commits

Commits on Nov 22, 2020