duplicates:

• SR-1789 Swift can't infer types in generic methods that reuse part of the struct/class' parameters

Issue Description:

This should work, but doesn't:

(swift) struct X<T> {
          init(_: T) {}
          func f() {
            print(X(3))
        }
        }
<REPL Input>:4:13: error: 'Int' is not convertible to 'T'
    print(X(3))
           ~^~
(swift)

The problem is that inside X, all mentions of X without explicit generic parameters are assumed to be Self, rather than only using that deduction as a last resort. It's very inconvenient in my particular use-case!