规范差异:在部分 5.1.4 重写 中,添加 M' 必须不是类。
我们为什么要对语言进行这种更改?
类遮蔽与其他类型的重写相比是不规则的。实际上,内部类实际上并没有被重写,而是被遮蔽了。
有多少现有代码会受到影响?
从目前为止所有使用 Scala 3 编译的代码中,我唯一能找到的实例是在标准库中。查看这个提交,似乎类阴影的使用是意外的。
现有代码将如何受到影响?
依赖于重写内部类的代码将无法编译。
此更改是否可以自动迁移?
不可以。