swiftlang/swift

Diagnostic for use of plain protocol name in type position should suggest `some` or `any`

Open

#68.284 aperta il 1 set 2023

Vedi su GitHub
 (19 commenti) (0 reazioni) (1 assegnatario)Swift (10.719 fork)batch import
bugcompilerdiagnostics qualityexistentialsfix-itsgenericsgood first issueopaque typesswift 5.9type checkertypes

Metriche repository

Star
 (69.989 star)
Metriche merge PR
 (Merge medio 8g 17h) (510 PR mergiate in 30 g)

Descrizione

The following code is invalid:

protocol P {
  associatedtype A
}

func generic(value: P) {}

The compiler currently produces the error message Use of protocol 'P' as a type must be written 'any P' with a fix-it to insert the any keyword.

However, a different (and often better!) fix here is to use the some keyword. The error message should be re-worded to prompt the programmer to consider any or some, and there should be two notes, each with a fix-it to insert any or some, respectively.

Guida contributor

Direzione di ricerca
Investiga la generazione diagnostica del compilatore Swift per l'uso del protocollo nelle posizioni di tipo. Cerca il messaggio di errore 'Use of protocol ... as a type must be written ...' e determina come aggiungere una nota aggiuntiva che suggerisca 'some'.
Tech stack
swift
Dominio
developer experience
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
SwiftGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70