TypeResolverbugcompilerdiagnostics qualityexistentialsgood first issueimplicitly unwrapped optionalsswift 6.0type checkertypesunexpected behavior
仓库指标
- 星标
- (69,989 个星标)
- PR 合并指标
- (PR 指标待抓取)
描述
Description
No response
Reproduction
protocol P {}
// error: using '!' is not allowed here; perhaps '?' was intended? [implicitly_unwrapped_optional_in_illegal_position]
// error: optional 'any' type must be written '(any P2)?' [incorrect_optional_any]
let _: any P!
Expected behavior
A single error, optional 'any' type must be written '(any P)!', as in the case of let _: any P?.
Environment
Swift version 6.0-dev (LLVM 48dc0c6fa01ce9e, Swift 19fbe5b33d423d1) Target: x86_64-apple-macosx14.0
Additional information
This https://github.com/apple/swift/labels/good%20first%20issue will suit an experienced Swift user.