ForNeVeR Они там в доказательной части просто гарантировали, что количество аллокаций их алгоритма не превысит количества аллокаций в пользовательских лямбдах, которые в алгоритм передаются. Ну, я так понял.
ForNeVeR То есть для каких-то нетривиальных операций типа toMap это важное условие, конечно, но оно вообще ничего не говорит о практической производительности.