我一直在了解Dotty，因为它似乎即将成为Scala 3，并注意到类型投影被认为是“不安全”的并从语言中删除... 这似乎很糟糕，因为我看到过几种情况下它们非常有用。例如： trait Contents class Foo extends Contents class Bar extend...