| // RUN: %target-typecheck-verify-swift |
| |
| struct MyCollection<Element> { // expected-note {{'Element' declared as parameter to type 'MyCollection'}} |
| func map<T>(_ transform: (Element) -> T) -> MyCollection<T> { |
| fatalError("implement") |
| } |
| } |
| |
| MyCollection.map // expected-error{{generic parameter 'Element' could not be inferred}} expected-note {{explicitly specify the generic arguments to fix this issue}} {{13-13=<Any>}} |
| |
| let a = MyCollection<Int>() |
| a.map // expected-error{{generic parameter 'T' could not be inferred}} |
| |