Incompatibility of borrowing with any type in function arguments

[rofle100lvl]

Description

No response

Reproduction

protocol K {
    var a: Int { get }
}

protocol B {
    init(k: any K)
}

struct A: B {
    let a: Int
    
    init(k: borrowing K) {
        self.a = k.a
    }
}

Expected behavior

When using the borrowing operator with a function argument of type any pointing to a protocol, the compiler should successfully parse and handle this combination

Environment

Apple Swift version 6.0-dev (LLVM 7b8e6346027d2b1, Swift 763421c)
Target: arm64-apple-macosx14.0

swift 5.10 as well

Additional information

Now we get compile error: "Usage of no-implicit-copy value that the compiler can't verify. This is a compiler bug. Please file a bug with a small example of the bug"

[tbkka]

CC: @kavon