dotnet/roslyn

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

Open

#62.426 aberto em 6 de jul. de 2022

Ver no GitHub
 (1 comment) (0 reactions) (0 assignees)C# (4.257 forks)batch import
Area-CompilersBugFeature - Required Membershelp wanted

Métricas do repositório

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

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.

Guia do colaborador

Direção de pesquisa
Investigue como o compilador Roslyn lida com membros obrigatórios em tipos record quando o tipo base é definido em IL com uma propriedade obrigatória. Examine os arquivos de origem no repositório Roslyn relacionados à compilação de records e à validação de membros obrigatórios, como Binder Records.cs ou MemberSemanticModel.cs. Analise o tratamento de EqualityContract em records e se propriedades definidas em IL podem ser marcadas como obrigatórias. Verifique PRs ou comentários vinculados para quaisquer discussões ou tentativas existentes. Reproduza o cenário criando um caso de teste mínimo com um record definido em IL e um record C# herdando dele, e observe o comportamento do compilador.
Pilha de tecnologia
csharp
Domain
backend
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.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
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#IL
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
30