swiftlang/swift

Bad diagnostic for `any P!`

Open

#72.662 aberto em 28 de mar. de 2024

Ver no GitHub
 (6 comments) (0 reactions) (2 assignees)Swift (10.719 forks)batch import
TypeResolverbugcompilerdiagnostics qualityexistentialsgood first issueimplicitly unwrapped optionalsswift 6.0type checkertypesunexpected behavior

Métricas do repositório

Stars
 (69.989 stars)
Métricas de merge de PR
 (Mesclagem média 7d 6h) (556 fundiu PRs em 30d)

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.

Guia do colaborador

Direção de pesquisa
Este relatório de bug descreve um diagnóstico incorreto para `any P!` no Swift. Atualmente, o compilador emite dois erros em vez de um ao encontrar um opcional implicitamente desembrulhado em uma posição ilegal com `any`. A correção provavelmente envolve modificar a lógica de verificação de erros no analisador sintático ou no verificador de tipos para suprimir o primeiro erro espúrio. O problema tem dois responsáveis atribuídos, mas nenhum PR aberto, indicando que alguém pode estar trabalhando nele. Os comentários na issue podem fornecer contexto adicional.
Pilha de tecnologia
swift
Domain
tooling
Tipo Issue
Bug
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.
Bloqueado
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Swift compiler basicsDiagnostic system
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40