Pavel Yaskevich c30845fa74 [ConstraintSystem] Detect and diagnose missing generic arguments ...

Introduce a fix to detect and diagnose situations when omitted
generic arguments couldn't be deduced by the solver based on
the enclosing context.

Example:

```swift
struct S<T> {
}

_ = S() // There is not enough context to deduce `T`
```

Resolves: rdar://problem/51203824

2019-05-29 16:39:41 -07:00

647 B

Raw Permalink Blame History

View Raw