@niwatako さんのプロトコル拡張の問題の話

niwatako_ext.swift

protocol P {
    func say()
}

class A : P {}
class B : A {}

extension P {
    func say() { print("P") }
}

extension P where Self: A {
    func say() { print("A") }
}
extension P where Self: B {
    func say() { print("B") }
}


A().say() // A
B().say() // B
print("cast P")
(A() as P).say() // A
(B() as P).say() // A <- ???
print("cast!")
((A() as P) as! A).say() // A
((B() as P) as! B).say() // B