これはバグじゃないの！？ swift の protocol extension による デフォルト実装と文脈による優先順位について #CodePiece

CodePiece.swift

// A とそのサブクラス B が、"プロパティnameを持つ" SomeProtocolに準拠することを宣言。
class A {}
class B: A {}
protocol SomeProtocol { var whatYourName: Void { get } }
extension A: SomeProtocol {}
// Aにnameのデフォルト実装を用意
extension SomeProtocol where Self: A {
    var whatYourName: Void { print("My name is A") }
}
// BはAを継承していますが、更にデフォルト実装を上書きします
extension SomeProtocol where Self: B {
    var whatYourName: Void { print("My name is B") }
}
// この状態では、それぞれ異なる name の実装が機能します
A().whatYourName // My name is A
B().whatYourName // My name is B
// ところが、インスタンスのプロパティとして格納された途端に...
class C {
    var person: SomeProtocol
    init(_ person: SomeProtocol) { self.person = person }
}
let cA = C(A())
let cB = C(B())
// Bの name 実装が スーパークラス A の実装になってしまいました！
cA.person.whatYourName // My name is A
cB.person.whatYourName // My name is A