@swift-4.2.4 -frontend -emit-sil

public protocol BaseP { func foo() } public protocol DerivedP: BaseP { func foo() } public struct Concrete: DerivedP { public func foo() {} }

(edited)