dotnet/roslyn

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

Aberta

#51.234 aberto em 15 de fev. de 2021

Ver no GitHubGuia do colaborador
 (0 comentário) (0 reação) (0 responsável)C# (4.257 forks)batch import
Area-InteractiveConcept-Continuous ImprovementInteractive-EnChelp wanted

Métricas do repositório

Stars
 (20.414 estrelas)
Métricas de merge de PR
 (Mesclagem média 6d 17h) (256 fundiu PRs em 30d)

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.

Guia do colaborador

Direção de pesquisa
Examine a discussão vinculada e identifique as restrições em TStateMachine que impedem o uso de struct. Em seguida, determine onde no compilador aplicar a verificação.
Pilha de tecnologia
csharp
Domain
compilers
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
3-5 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Principalmente claro
Prerequisites
C#.NET compiler internals
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20