swiftlang/swift

Missing fix-it when opaque property type is inferred

Open

#69.241 aberto em 18 de out. de 2023

Ver no GitHub
 (6 comments) (0 reactions) (1 assignee)Swift (10.719 forks)batch import
compilerdiagnostics qualityfix-itsgood first issueimprovementopaque result typesopaque typesswift 6.0type checker

Métricas do repositório

Stars
 (69.989 stars)
Métricas de merge de PR
 (Mesclagem média 8d 17h) (510 fundiu PRs em 30d)

Description

Description When the type of a variable or property is inferred as an opaque type, the compiler emits an error to that effect:

Property definition has inferred type 'some Proto', involving the 'some' return type of another declaration

Steps to reproduce When compiling this code, the last line has the above error attached.:

protocol Proto {}
struct Concrete: Proto {}
func getProto() -> some Proto { Concrete() }

let value = getProto() // error

Expected behavior Since the fix is straightforward and included in the error message, the compiler should offer a fixit that would rectify the problem:

let value: some Proto = getProto()

Environment

  • Swift compiler version info Apple Swift version 5.9 (swiftlang-5.9.0.128.108 clang-1500.0.40.1) Target: arm64-apple-macosx14.0

Guia do colaborador

Direção de pesquisa
A questão solicita a implementação de uma correção (fix it) para o erro quando um tipo de propriedade é inferido como um tipo opaco. A solução envolve identificar onde o erro é emitido no compilador (provavelmente no verificador de tipos) e adicionar um diagnóstico de correção. A pesquisa deve focar em correções semelhantes na base de código do compilador Swift, particularmente no diretório Sema. A correção exigirá a adição de um novo diagnóstico com a mensagem FixIt e a substituição associada.
Pilha de tecnologia
swift
Domain
developer experience
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
GitSwift
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
65