[swift-evolution] [Pitch] Remove type inference for associated types

[Paulo Faria]

> On Jun 29, 2016, at 2:54 AM, Douglas Gregor <dgregor at apple.com> wrote:
> 
> This seems very related to the near-miss checking I mentioned in my other reply to Austin. 

Yeah. Well, if we get the error message. It’s better than nothing. I don’t know the specifics about compilers and rules and what not. But it seems to me it would be opening an exception just for that specific case. And that might be something that would make the compiler rules more complex. So if we don’t get the message, we get more consistency in the rules, but on the other hand we make it easier for people to accidentally get unexpected behaviour. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160629/33e1c294/attachment.html>