↑の話を追えてないけど、

同名同型のoverloadになるimpl（罠）

に関しては vtable 関係なく↓とかもありませんか？ @swiftbot

protocol P {} extension P { func foo() -> String { return "P" } } struct S: P { func foo() -> String { return "S" } } let s: S = S() let p: P = s print(s.foo()) print(p.foo())