Swift 5.7闭包与@ViewBuilder内非可选值支持if let是Bug还是特性

两个场景下的编译表现都不是编译器Bug，分别对应明确的语法设计和版本特性：

• 所有@ViewBuilder标记闭包内对非可选值使用if let绑定的写法，是SwiftUI结果构造器的原生设计，在Xcode 13及更早版本可正常编译属于预期行为
• Xcode 14 beta 搭载的Swift 5.7环境下，普通闭包内的同类写法无编译报错，是Swift 5.7正式落地的语法特性，不是beta版本缺陷

具体原因说明 #

1. @ViewBuilder 场景的实现逻辑 #

@ViewBuilder是Swift结果构造器（Result Builder）特性在SwiftUI中的具体实现，它不会直接把闭包内的代码原样交给Swift编译器的原生语法检查逻辑处理，而是会在编译阶段对闭包内的声明、分支、循环逻辑做自定义语法转换：
当检测到if let绑定的右侧是非可选类型时，@ViewBuilder会自动将其转换为常量赋值+永远成立的分支逻辑，等价于直接把外层同名变量遮蔽（shadow）到当前分支作用域，因此不会触发原生语法下“可选绑定右侧必须是Optional类型”的编译错误。
这个逻辑从SwiftUI首个正式版本就已经存在，和Swift语言本身的可选绑定规则无关，因此在自定义带@ViewBuilder标记的容器视图中测试，也能得到相同的编译结果。

2. Swift 5.7 普通闭包场景的特性说明 #

Swift 5.7 之前，原生语法层面严格要求if let/guard let条件绑定的右侧表达式必须是Optional类型，传入非可选值会直接触发编译错误，你在Xcode 13.3环境下测试普通闭包内写法报错，完全符合旧版本的语法规则。
Swift 5.7 在实现可选绑定简写语法的过程中，调整了可选绑定的类型检查逻辑：不再强制要求if let/guard let的右侧值必须是可选类型，如果右侧是非可选值，编译器会直接判定绑定永远成功，将分支逻辑等价转换为普通的常量遮蔽赋值，不会抛出类型错误。
你在Xcode 14首个beta版中观察到普通闭包内写法先不报错、普通函数作用域仍报错的情况，只是新特性在beta版本中分模块落地的正常现象，不是逻辑错误。Swift 5.7正式版中，普通函数、全局作用域下的同类非可选值if let绑定都会全部支持，仅会抛出“条件绑定永远成功，因为右侧值是非可选类型”的无害警告，不会阻断编译。

补充验证 #

你可以在Swift 5.7正式版环境下运行最开始的普通函数代码，会发现原本的编译错误已经消失：

func run() {
    let title = "Hello, world!"
    if let title = title { // 不再报类型错误，仅提示绑定永远成功
        print(title) // 正常输出Hello, world!
    }
}

内容的提问来源于stack exchange，提问作者aheze