swiftlang/swift

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

Open

#56.435 aperta il 13 gen 2021

Vedi su GitHub
 (8 commenti) (0 reazioni) (0 assegnatari)Swift (10.719 fork)batch import
compilergood first issueimprovementtype checker

Metriche repository

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

Descrizione
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.

Guida contributor

Direzione di ricerca
Il problema si trova nel controllore di tipi del compilatore Swift, specificamente nella funzione `TypeCheckType` che avvisa incondizionatamente sull'uso di `UnsafeMutablePointer<Void>`. L'obiettivo è modificare questa logica per sopprimere l'avviso quando il tipo di puntatore viene utilizzato in un contesto che si aspetta `UnsafeMutableRawPointer` (ad esempio, come tipo di parametro in `withUnsafeMutableBytes`). Esamina il codice del controllore di tipi in `lib/Sema/TypeCheckType.cpp` e individua dove viene emessa la diagnostica. Assicurati che l'uso contestuale venga riconosciuto e che non venga suggerita alcuna correzione che possa compromettere la compatibilità.
Tech stack
swift
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
SwiftGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
80