[swift-evolution] Protocol conformance error

Roshan thisisroshansmail at gmail.com
Wed Jan 17 02:04:08 CST 2018


Cross posting from swift-users in case this behaviour isn't part of
the language and might be interesting to you folks.

Here is some sample code that gives a protocol conformance error in a

protocol A {}
protocol B: A {}

protocol C {
    func test(x: A)

class M: C {
    func test(x: B) {}

Is there a reason why the compiler doesn't infer that ((B) -> ())
matches ((A) -> ()) because of inheritance?

Warm regards

More information about the swift-evolution mailing list