↓の someP がありってことは変数でも some が使える？？それともトップレベルの変数は変数じゃなくてプロパティ扱いなのかな？アクセス修飾子も付けられるし。

// Module A public protocol P { mutating func flip() } private struct Witness: P { mutating func flip() { ... } } public var someP: some P = Witness() // Module B import A someP.flip() // ok: flip is a mutating function called on a variable

(edited)