dotnet/roslyn

EnC: disallow editing async methods with incompatible constraints on their method builders

Ouverte

#51 234 ouverte le 15 févr. 2021

Voir sur GitHubGuide contributeur
 (0 commentaire) (0 réaction) (0 personne assignée)C# (4 257 forks)batch import
Area-InteractiveConcept-Continuous ImprovementInteractive-EnChelp wanted

Métriques du dépôt

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

Description

Follow up on discussion: https://github.com/dotnet/roslyn/discussions/51189

In debug builds we emit async state machine types as classes so that we can add fields to them as needed during EnC. Emitting the state machine type as reference type instead of a value type might however conflict with a constraint:

If

  1. the return type of an async method specifies a custom builder B via AsyncMethodBuilder, and
  2. B.Start<TStateMachine>(ref TStateMachine), B.AwaitOnCompleted<TAwaiter, TStateMachine>(ref TAwaiter awaiter, ref TStateMachine stateMachine), or B.AwaitUnsafeOnCompleted<TAwaiter, TStateMachine>(ref TAwaiter awaiter, ref TStateMachine stateMachine) have a constraint on TStateMachine that disallows it to be a reference type.

Fix: The compiler should identify these cases and keep the state machine type as struct. The IDE should disallow editing such async methods.

Guide contributeur

Direction de recherche
Examinez la discussion liée et identifiez les contraintes sur TStateMachine qui empêchent l'utilisation de struct. Déterminez ensuite où dans le compilateur appliquer la vérification.
Stack technique
csharp
Domaine
compilers
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.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
3-5 jours
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#.NET compiler internals
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
20