swiftlang/swift

[SR-14044] Contextual Usage of UnsafeMutablePointer<Void> In API is Mis-Diagnosed

Aberta

#56.435 aberto em 13 de jan. de 2021

Ver no GitHubGuia do colaborador
 (8 comentários) (0 reação) (0 responsável)Swift (10.719 forks)batch import
compilergood first issueimprovementtype checker

Métricas do repositório

Stars
 (69.989 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description
Previous ID SR-14044
Radar rdar://43580528
Original Reporter @CodaFi
Type Improvement
Votes 0
Component/s Compiler
Labels Improvement, StarterBug, TypeChecker
Assignee None
Priority Medium

md5: 29439788662577468de9cf1437c1e59a

Issue Description:

import Foundation

var data = Data(count:0)
try data.withUnsafeMutableBytes { (ptr: UnsafeMutablePointer<Void>) throws -> Void in
}

There is a warning here because TypeCheckType only knows how to unconditionally warn about UnsafeMutablePointer<Void>. It needs to be taught that this contextual usage is okay - because the alternative is the compiler emitting a fixit that introduces a contextual mismatch by rewriting the parameter type to UnsafeMutableRawPointer.

Guia do colaborador

Direção de pesquisa
O problema está no verificador de tipos do compilador Swift, especificamente na função `TypeCheckType` que alerta incondicionalmente sobre o uso de `UnsafeMutablePointer<Void>`. O objetivo é modificar essa lógica para suprimir o aviso quando o tipo de ponteiro é usado em um contexto que espera `UnsafeMutableRawPointer` (por exemplo, como um tipo de parâmetro em `withUnsafeMutableBytes`). Examine o código do verificador de tipos em `lib/Sema/TypeCheckType.cpp` e encontre onde o diagnóstico é emitido. Certifique se de que o uso contextual seja reconhecido e que nenhuma sugestão de correção que possa quebrar a compatibilidade seja proposta.
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.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
SwiftGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
80