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