dotnet/roslyn

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

Open

#62 426 ouverte le 6 juil. 2022

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)C# (4 257 forks)batch import
Area-CompilersBugFeature - Required Membershelp wanted

Métriques du dépôt

Stars
 (20 414 stars)
Métriques de merge PR
 (Merge moyen 6j 17h) (256 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Étudiez comment le compilateur Roslyn gère les membres requis dans les types record lorsque le type de base est défini en IL avec une propriété requise. Examinez les fichiers source du dépôt Roslyn liés à la compilation des records et à la validation des membres requis, tels que Binder Records.cs ou MemberSemanticModel.cs. Analysez la gestion d'EqualityContract dans les records et si les propriétés définies en IL peuvent être marquées comme requises. Vérifiez les PR ou commentaires liés pour toute discussion ou tentative existante. Reproduisez le scénario en créant un cas de test minimal avec un record défini en IL et un record C# en héritant, et observez le comportement du compilateur.
Stack technique
csharp
Domaine
backend
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
C#IL
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
30