relates to:

• SR-7543 diagnostics behave incorrectly when passing parameter as inout argument in closure

Issue Description:

The following code compiles and runs:

struct A {
    var x: Int
}
var a = A(x: 123)
let result = withUnsafePointer(to: &a) {
    print("ptr is \($0)")
    // return 1
}
print("result is \(result)")

But, if you uncomment that return 1 line, the compile fails. It highlights the &a and says: Cannot pass immutable value of type 'inout A' as inout argument.

It seems like the type checking failed and produced a misleading error message.