dotnet/roslyn

Investigate a niche 'required' scenario where the compiler overrides a property from IL

Open

#62.426 geöffnet am 6. Juli 2022

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)C# (4.257 Forks)batch import
Area-CompilersBugFeature - Required Membershelp wanted

Repository-Metriken

Stars
 (20.414 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 6T 17h) (256 gemergte PRs in 30 T)

Beschreibung

So here is the scenario:

  • Define a Derived record that implements a Base record.
    • Base will be just record Base;
    • Derived will be written in IL where EqualityContract is marked required (add setter to EqualityContract in IL if necessary)
  • In C#, define a regular record that inherits Derived, ie, record R3 : Derived;
  • Will it compile successfully? It probably shouldn't?

I messaged @333fred about this scenario, and we both agree it's not an important one, but can probably have a bug.

Contributor Guide

Research-Richtung
Untersuchen Sie, wie der Roslyn Compiler erforderliche Mitglieder in Record Typen behandelt, wenn der Basistyp in IL mit einer erforderlichen Eigenschaft definiert ist. Sehen Sie sich die Quelldateien im Roslyn Repository an, die sich auf die Record Kompilierung und die Validierung erforderlicher Mitglieder beziehen, wie z. B. Binder Records.cs oder MemberSemanticModel.cs. Prüfen Sie die Behandlung von EqualityContract in Records und ob in IL definierte Eigenschaften als erforderlich markiert werden können. Überprüfen Sie verknüpfte PRs oder Kommentare auf bestehende Diskussionen oder Versuche. Reproduzieren Sie das Szenario, indem Sie einen minimalen Testfall mit einem in IL definierten Record und einem davon erbenden C# Record erstellen, und beobachten Sie das Compiler Verhalten.
Tech Stack
csharp
Domain
backend
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
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.
Meist klar
Voraussetzungen
C#IL
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
30