swiftlang/swift

Bad diagnostic about memberwise `init` not being public

Open

#78.362 aperta il 24 dic 2024

Vedi su GitHub
 (21 commenti) (0 reazioni) (1 assegnatario)Swift (10.719 fork)batch import
access controlcompilerconformancesdiagnostics qualityfix-itsgood first issuememberwise initswift 6.2type checker

Metriche repository

Star
 (69.989 star)
Metriche merge PR
 (Merge medio 7g 6h) (556 PR mergiate in 30 g)

Descrizione

Description

No response

Reproduction

public struct Number: RawRepresentable {
  public let rawValue: Int
}

398 | public struct Number: RawRepresentable {
    |               `- error: initializer 'init(rawValue:)' must be declared public because it matches a requirement in public protocol 'RawRepresentable' [witness_not_accessible_proto]
399 |   public let rawValue: Int
400 | }

Expected behavior

This diagnostic is not great:

  1. What initializer? (The implicit memberwise initializer).
  2. How do I or can I at all declare it public? (An implicit memberwise initializer cannot be public).
  3. What should I do to make this work? (Declare an explicit initializer + fix-it).

Environment

Swift version 6.2-dev (LLVM 1a588e5b044c46f, Swift 55189bae8e55169)

Additional information

No response

Guida contributor

Direzione di ricerca
Indagare l'emissione diagnostica per witness not accessible proto nel compilatore Swift, probabilmente in lib/Sema o lib/AST. L'errore si verifica quando una struttura pubblica conforme a RawRepresentable ha un inizializzatore implicito per membri. La correzione dovrebbe migliorare la diagnostica per menzionare l'inizializzatore implicito per membri e suggerire di dichiarare un init pubblico esplicito, e potenzialmente fornire una fix it.
Tech stack
swift
Dominio
toolingdeveloper experience
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
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.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Swift language basicsUnderstanding of compiler diagnostics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40