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

Aberta
#68,284 19 comentários 0 reações 1 responsável Ver no GitHub

@yyoungbash já está trabalhando nisso.

Desde 29/10/2025.

Avaliação

Esta issue ainda não foi avaliada.

Descrição

bug compiler diagnostics quality existentials fix-its generics good first issue opaque types swift 5.9 type checker types

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.

Linguagem predominante
Swift
Estrelas
70.4k
Forks
10.8k
Merge médio
2d 2h
PRs com merge (30d)
461

Guia de contribuição

Abrir o guia de contribuição

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de swiftlang/swift

Todas as issues de swiftlang/swift

Issues semelhantes

Mais issues de Swift

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.