swiftlang/swift

Bad diagnostic for `any P!`

Open

#72.662 aperta il 28 mar 2024

Vedi su GitHub
 (6 commenti) (0 reazioni) (2 assegnatari)Swift (10.719 fork)batch import
TypeResolverbugcompilerdiagnostics qualityexistentialsgood first issueimplicitly unwrapped optionalsswift 6.0type checkertypesunexpected behavior

Metriche repository

Star
 (69.989 star)
Metriche merge PR
 (Merge medio 7g 6h) (556 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Questo bug report descrive una diagnosi errata per `any P!` in Swift. Attualmente, il compilatore emette due errori invece di uno quando incontra un opzionale implicitamente unwrapped in una posizione illegale con `any`. La correzione probabilmente comporta la modifica della logica di controllo degli errori nel parser o nel type checker per sopprimere il primo errore spurio. Il problema ha due assegnatari ma nessuna PR aperta, indicando che qualcuno potrebbe starci lavorando. I commenti sull'issue potrebbero fornire ulteriore contesto.
Tech stack
swift
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Bloccata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Swift compiler basicsDiagnostic system
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40