dotnet/roslyn

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

Open

#62,426 创建于 2022年7月6日

在 GitHub 查看
 (1 评论) (0 反应) (0 负责人)C# (4,257 fork)batch import
Area-CompilersBugFeature - Required Membershelp wanted

仓库指标

Star
 (20,414 star)
PR 合并指标
 (平均合并 6天 17小时) (30 天内合并 256 个 PR)

描述

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.

贡献者指南

研究方向
研究 Roslyn 编译器如何处理基类型在 IL 中定义且包含必需属性的记录类型中的必需成员。查看 Roslyn 仓库中与记录编译和必需成员验证相关的源文件，例如 Binder Records.cs 或 MemberSemanticModel.cs。检查记录中 EqualityContract 的处理方式，以及 IL 定义的属性是否可标记为必需。查看相关 PR 或评论中是否有现有讨论或尝试。通过创建 IL 定义的记录和继承它的 C# 记录的最小测试用例来重现该场景，并观察编译器行为。
技术栈
csharp
领域
backend
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
2
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
基本清晰
前置要求
C#IL
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
30