[heycam/webidl] Step 5.8 of effective overload set construction is a no-op? (#139)

While implementing the overload set construction, following:
- http://heycam.github.io/webidl/#dfn-effective-overload-set

I noticed that Step 5.8 is either a no-op after step 5.7 (or there is something I don't understand / missed):

Step 5.8 is:
> If n > 0 and all arguments of X are optional, then add to S the tuple <X, (), ()> (where “()” represents the empty list).

However, I would have thought that step 5.7 would have already taken care of this:

> Initialize i to n−1.
> While i ≥ 0:
> - If argument i of X is not optional, then break this loop.
> - Otherwise, add to S the tuple <X, t0..i−1, o0..i−1>.
> - Set i to i−1.


---
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/139