Oops, that looks like a typo. All those types should be conforming to Sequence, not StringBag (or nothing at all). I'll fix it.
Best, Austin > On Jun 26, 2016, at 9:39 PM, Charlie Monroe <char...@charliemonroe.net> wrote: > > I'm not quite what would be the behavior of this in the proposal: > > extension IntBag : StringBag { > associatedtype Element = Element > } > > since both IntBag and StringBag are classes - would IntBag use StringBag's > code, but replace String with Int? Or would it just contain both > > func object(at index: Int) -> Int? > > and > > func object(at index: Int) -> String? > > if that is the case, what if the protocol contains a non-generic function like > > func countElements() -> Int > > ? > > >> On Jun 25, 2016, at 8:35 PM, Austin Zheng via swift-evolution >> <swift-evolution@swift.org <mailto:swift-evolution@swift.org>> wrote: >> >> Hi all, >> >> Thank you for all your comments and feedback! I've rewritten and expanded >> the proposal to address as many peoples' concerns as possible. >> >> Best, >> Austin >> >>> On Jun 24, 2016, at 10:50 PM, Austin Zheng <austinzh...@gmail.com >>> <mailto:austinzh...@gmail.com>> wrote: >>> >>> Hello all, >>> >>> Per Chris Lattner's list of open Swift 3 design topics >>> (http://article.gmane.org/gmane.comp.lang.swift.evolution/21369 >>> <http://article.gmane.org/gmane.comp.lang.swift.evolution/21369>), I've put >>> together a proposal for removing type inference for associated types. >>> >>> It can be found here: >>> https://github.com/austinzheng/swift-evolution/blob/az-assoctypeinf/proposals/XXXX-remove-assoctype-inference.md >>> >>> <https://github.com/austinzheng/swift-evolution/blob/az-assoctypeinf/proposals/XXXX-remove-assoctype-inference.md> >>> >>> Thoughts, criticism, and feedback welcome. There are at least two slightly >>> different designs in the proposal, and I'm sure people will have ideas for >>> even more. >>> >>> Best, >>> Austin >> >> _______________________________________________ >> swift-evolution mailing list >> swift-evolution@swift.org <mailto:swift-evolution@swift.org> >> https://lists.swift.org/mailman/listinfo/swift-evolution >
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution