Documenting lambda arg checking bug