| // RUN: %target-typecheck-verify-swift | |
| struct Foo<T, U> { // expected-note {{'U' declared as parameter to type 'Foo'}} | |
| var value: U | |
| func bar() -> Foo<T, U> { | |
| return Foo(value) | |
| // expected-error@-1 {{generic parameter 'U' could not be inferred}} | |
| // expected-note@-2 {{explicitly specify the generic arguments to fix this issue}} | |
| } | |
| } | |
| extension Foo where T == U { | |
| init(_ value: U) { | |
| self.value = value | |
| } | |
| } |