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
_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to