Changes in new versions / Swift 4.0

where clauses on associated types

This example is in the full version, available in the app stores: