Fix missing argument in spec's pseudocode#5459

Blaisorblade merged 1 commit intomasterscala/scala3:masterfrom

lazy-vals-spec-typoscala/scala3:lazy-vals-spec-typoCopy head branch name to clipboard