duplicates:

• SR-1581 Can not use protocol to fulfill associatedtype requirement where associatedType has protocol constraint

Issue Description:

protocol MyConstraint { }

protocol MyProtocolWithAssociatedType { 
  associatedtype CustomType: MyConstraint
}

protocol MyImplementation: MyConstraint { }

class MyConcreteImplementation: MyConstraint { }

class MyResolvedType: MyProtocolWithAssociatedType { 
  typealias CustomType = MyImplementation
}

The message we get is:

Type 'MyResolvedType' does not conform to protocol 'MyProtocolWithAssociatedType'

The error disappears if we do one of the following:

1. typealias CustomType = MyConcreteImplementation

2. associatedtype CustomType // remove the type constraint