@swift-main protocol P<A> { associatedtype A } struct S<A>: P {} func f<T>() -> any P<T> { S() }