昔できたらいいのにな~と議論した記憶があるのですが、確か可能だと破綻するよね、という話題になった記憶があります。

2:15 PM

// ファイル A public func something<T: SomeProtocol>(_ value: T) { ... } // ファイルB private extension Foo: SomeProtocol { ... } something(Foo())

最も単純な例はこれですかね、somethingの実装側からはFooのSomeProtocolに対する実装は見えていないはずなので、実行できなくなりそうです。(できると可視性がおかしなことになってくる)