Skip to content

fold_list empty: [] no longer locks the accumulator as List<Unit> - #13475

Closed
gunbai-bot[bot] wants to merge 75 commits into
mainfrom
session/gentle-lynx-30-fold-list-empty-acc-unit
Closed

fold_list empty: [] no longer locks the accumulator as List<Unit>#13475
gunbai-bot[bot] wants to merge 75 commits into
mainfrom
session/gentle-lynx-30-fold-list-empty-acc-unit

WIP: skip only bare TypeVariable/placeholder; placeholder unifies lik…

eaf23cb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar