Should we allow `void` in the ForBinding?

[JLHwung]

Since using void = foo() is valid, I will expect this example is also valid (the surrounding block statement for using is omitted):

for (using void of [foo()]);

which means ForBinding could be

ForBinding[Yield, Await, Pattern] :
    BindingIdentifier[?Yield, ?Await]
    [+Pattern] BindingPattern[?Yield, ?Await]
+   [~Pattern] void

However I can't find any ForBinding revisions in the current draft spec.