[swift-evolution] Protocol conformance error

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


Hi,

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
playground:

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
Roshan


More information about the swift-evolution mailing list