Еще в 1994 году я не был уверен, что мы всегда будем использовать один и тот же тип реализации для лямбда и def. Это все, что нужно сделать. Было бы больно удалить его, поэтому мы просто оставляем его (это всего лишь одна строка). Если вы хотите добавить примечание к документам, не стесняйтесь отправлять PR.