12.6.3.1 Optional parameters and parameter arrays supposedly foil type inference

Current text:

> If the supplied number of arguments is different than the number of parameters in the method, then inference immediately fails.

That would suggest that:

``` csharp
Foo(10);
...
static void Foo(T value, params string[] args) { }
```

should fail to compile.

Perhaps we should say that there has to be a corresponding parameter for each argument in the argument list? Basically, it should use 13.6.2 somehow, I'm sure - but it's not clear how.