blocks:

• SR-10712 Cannot conform to protocol with associated type constrained to generic class specialised by associated type

Issue Description:

final class Food<T> {}


protocol Jard {
    associatedtype FoodType: Food<Self>
    func f() -> FoodType
}


struct LittleJard: Jard {
    func f() -> Food<LittleJard> { fatalError() }
}

This returns the error "type 'LittleJard' does not conform to protocol 'Jard'"

Between the use of final and struct, Food<LittleJard> should be identical to Food<Self> here.

Tested with 5.1-snapshot-05-03