swiftlang/swift

Bad diagnostic about memberwise `init` not being public

Open

#78.362 geöffnet am 24. Dez. 2024

Auf GitHub ansehen
 (21 Kommentare) (0 Reaktionen) (1 zugewiesene Person)Swift (10.719 Forks)batch import
access controlcompilerconformancesdiagnostics qualityfix-itsgood first issuememberwise initswift 6.2type checker

Repository-Metriken

Stars
 (69.989 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 7T 6h) (556 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide

Research-Richtung
Untersuchen Sie die Diagnoseausgabe für witness not accessible proto im Swift Compiler, wahrscheinlich in lib/Sema oder lib/AST. Der Fehler tritt auf, wenn eine öffentliche Struktur, die RawRepresentable konform ist, einen impliziten Memberwise Initializer hat. Die Korrektur sollte die Diagnose verbessern, um den impliziten Memberwise Initializer zu erwähnen und die Deklaration eines expliziten öffentlichen Initializers vorzuschlagen, und möglicherweise einen Fix It Vorschlag bereitstellen.
Tech Stack
swift
Domain
toolingdeveloper experience
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Swift language basicsUnderstanding of compiler diagnostics
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40