> On Jun 6, 2016, at 1:59 PM, Ross O'Brien via swift-evolution > <swift-evolution@swift.org> wrote: > > Given a protocol with an associated type: > > protocol Foo > { > associatedtype Bar > } > > it should be possible to define a protocol conforming to Foo, for which Bar > can be typealiased: > > protocol IntFoo : Foo > { > typealias Bar = Int > } > > such that all conformers to IntFoo now have an associatedtype Bar being Int > without having to define it themselves. At present IntFoo cannot declare a > typealias (as this generates a warning that typealias has been deprecated), > but can declare an 'associatedtype Bar = Int' which types conforming to > IntFoo have to repeat to consider it properly declared. This re-declaration > is redundant.
The “More Powerful Constraints for Associated Types” proposal provides a better way to accomplish this: https://github.com/apple/swift-evolution/pull/284 - Doug _______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution