@swift-main protocol P { associatedtype T func f(_ t: T) } struct Foo<each T>: P { func f(_ t: inout (repeat each T)) {} } (edited)