[swift-evolution] Protocol conformance error

[Roshan]

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