Pavel Yaskevich a56d527709 [CSSimplify] Fix matchCallArguments not to claim un-labeled arguments too eagerly ...

Avoid claiming un-labeled defaulted parameters
by out-of-order un-labeled arguments or parts
of variadic argument sequence, because that might
be incorrect.

The following example is supposed to type-check
correctly but without these changes produces
`missing argument for parameter #4 in call`
error, because `3` will be claimed as '_ b:':

```swift
func foo(_ a: Int, _ b: Int = 0, c: Int = 0, _ d: Int) {}
foo(1, c: 2, 3)
```

Resolves: rdar://problem/43525641

2018-08-20 17:37:48 -07:00

203 KiB

Raw Blame History

View Raw