<div class="chatlog__message-group"> <div id="chatlog__message-container-772008663836655636" class="chatlog__message-container" data-message-id="772008663836655636"> <div class="chatlog__message"> <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/296587674737704960/5d3c584499ce245b7129cda8c7ae00e9.png?size=512" alt="Avatar" loading="lazy"></div> <div class="chatlog__message-primary"> <div class="chatlog__header"><span class="chatlog__author" title="_rintaro" data-user-id="296587674737704960">rintaro</span> <a href="/channels/306995750418513920?category=main&channel=swift-2&message_id=772008663836655636"><span class="chatlog__timestamp" title="Saturday, October 31, 2020 8:06 AM"></span></a><a href="#chatlog__message-container-772008663836655636">10/31/2020 8:06 AM</a></div> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve"><code class="chatlog__markdown-pre chatlog__markdown-pre--multiline nohighlight">protocol P { associatedtype Arg } struct S: P { typealias Arg = Int } extension P { static func bar(x: Arg) -> S { S() } } func foo<T: P>(_: T) {} foo(.bar(x: 12))</code> なので、たぶんこれは無理と思います。</span></div> </div> </div> </div> </div>