protocol P1 { static func a() -> Self init() } class Animal : P1 { required init() {} static func a() -> Self { fatalError() } } class Vehicle : P1 { required init() {} } extension P1 { static func a() -> Self { return Self.init() } }

できそうでできなかった。これ P1 の a が Vehicleについて見つけてくれないのなんでだ。