@swift-4.1.3 -Xfrontend -emit-sil public protocol P { func foo() func bar() } extension P { public func foo() {} }