https://qiita.com/takasek/items/2f6cbc05f51bbf802052

Swiftクイズやってみた

protocol P {}
struct S: P {}

extension Array {
    func hoge() -> String { return "Any" } // ①
}
// enum or 構造体は、「連想型: enum or 構造体」で使えない。
//extension Array where Element: S {
//    func hoge() -> String { return "Equal" } // ②
//}
// このように「連想型 == enum or 構造体」ならOK
// (これはSwift3.1で可能になったやつ)
extension Array where Element == S {
    func hoge() -> String { return "Equal" } // ②
}
extension Array where Element: P {
    func hoge() -> String { return "Protocol" } // ③
}
extension Array where Element == P {
    func hoge() -> String { return "Existence" } // ④
}

[S()].hoge() // 2が発動

// 1
[S() as Any].hoge()

// 3

// 4
let array: [P] = [S()]
array.hoge()
// もしくは
([S()] as [P]).hoge()