swiftlang/swift

Bad diagnostic for `any P!`

Open

#72 662 ouverte le 28 mars 2024

Voir sur GitHub
 (6 commentaires) (0 réactions) (2 assignés)Swift (10 719 forks)batch import
TypeResolverbugcompilerdiagnostics qualityexistentialsgood first issueimplicitly unwrapped optionalsswift 6.0type checkertypesunexpected behavior

Métriques du dépôt

Stars
 (69 989 stars)
Métriques de merge PR
 (Merge moyen 7j 6h) (556 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.

Guide contributeur

Direction de recherche
Ce rapport de bug décrit un diagnostic incorrect pour `any P!` dans Swift. Actuellement, le compilateur émet deux erreurs au lieu d'une lorsqu'il rencontre un optionnel implicitement déballé dans une position illégale avec `any`. La correction implique probablement de modifier la logique de vérification des erreurs dans l'analyseur syntaxique ou le vérificateur de types pour supprimer la première erreur superflue. Le problème a deux assignés mais aucune PR ouverte, indiquant que quelqu'un pourrait y travailler. Les commentaires sur l'issue peuvent fournir un contexte supplémentaire.
Stack technique
swift
Domaine
tooling
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Bloquée
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Swift compiler basicsDiagnostic system
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40