<div dir="ltr">Given a protocol with an associated type:<div><br></div><div>protocol Foo</div><div>{</div><div>  associatedtype Bar</div><div>}</div><div><br></div><div>it should be possible to define a protocol conforming to Foo, for which Bar can be typealiased:</div><div><br></div><div>protocol IntFoo : Foo</div><div>{</div><div>  typealias Bar = Int</div><div>}</div><div><br></div><div>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 &#39;associatedtype Bar = Int&#39; which types conforming to IntFoo have to repeat to consider it properly declared. This re-declaration is redundant.</div></div>