@swift-6.0.3 @swift-5.10.1 enum E { protocol P where T: Collection { associatedtype T = Int } struct S<T>: P where T: Collection { } } (edited)