<div dir="ltr"><div>The following compiles in Swift 4 (but not in Swift 3.1):</div><div><br></div><div><div><div>protocol P1 {</div><div>    associatedtype A</div><div>}</div><div>protocol P2 : P1 where A == Int {</div><div>}</div></div></div><div><br></div>I&#39;ve not been able to find any proposal, discussion or documentation mentioning it so any pointers to such would be greatly appreciated.<div><br></div><div>Also, is this new feature used somewhere in the std lib?</div><div><br></div><div>/Jens</div></div>