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

Paulo Faria paulo at zewo.io
Wed Jun 29 00:47:08 CDT 2016

> On Jun 29, 2016, at 2:28 AM, Austin Zheng <austinzheng at gmail.com> wrote:
> I'm not sure this is a problem. Once you bind the associated types explicitly, the requirements using those associated types need to match the bound types otherwise the type checker will emit an error. If you have default associated types and default implementations, but then bind the associated types differently and do not update your type-specific implementations to use those other types, you will get an error message. This is how explicitly specifying associated types works today.
> Austin

The problem is that it doesn’t give me any error message. I tested it.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160629/bf0833cb/attachment.html>

More information about the swift-evolution mailing list