On Jun 25, 2017, at 2:47 PM, Brian Goetz <brian.goetz at oracle.com> wrote: > How can one write a spec for a method parameter with no name? For example, "this method sums both of its arguments." There are plenty of examples like that.