Dotty desugar多态方法如何？

Question

据报道,Dotty将具有类型参数的类与具有类型成员的类相关联,例如:

class C[T, U] { }
// <=>
class C {
  type C$T
  type C$U
}

Dotty desugar多态方法如下例所示？

def m[T, U](x: T, u: U): T = x
// <=>
?

Answer 1

与多态类不同,多态方法并不令人满意.它们从根本上保持多态性.