TypeResolverbugcompilerdiagnostics qualityexistentialsgood first issueimplicitly unwrapped optionalsswift 6.0type checkertypesunexpected behavior
Métriques du dépôt
- Stars
- (69 989 étoiles)
- Métriques de merge PR
- (Merge moyen 8j 17h) (510 PRs mergées en 30 j)
Description
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.