Swift compiler emit wrong error with optional variable in closure

[WeijunDeng]

I found another case which is not fixed with latest main toolchain. @xedin

Description

wrong error :
Trailing closure passed to parameter of type 'DispatchWorkItem' that does not accept a closure

Reproduction

import Foundation

func getOptionalNode() -> String? {
    return nil
}

class Test {
    func test1() {
        DispatchQueue.main.async {
            guard let node = getOptionalNode() else {
                return
            }
//            let _ = node.first1
            if let _ = node.first1 {
                return
            }
            return
        }
    }
}

Expected behavior

expected error :

Value of type 'String' has no member 'first1'

Environment

https://github.com/swiftlang/swift main branch

Originally posted by @WeijunDeng in #81602

[xedin]

This is happening because the solver doesn't propagate placeholders to missing members aggressively enough, I'm working on a fix for this.

[hamlet451]

i am getting the same error. I can't make heads or tails of it. Is this a bug in Swift?

[xedin]

Yes, it's a bug.