scala - Dotty 如何对多态方法进行脱糖？

Question

据报道，Dotty 将具有类型参数的类脱糖为具有类型成员的类，例如:

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

Dotty 如何像下面的示例那样对多态方法进行脱糖处理？

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

Answer 1

与多态类不同，多态方法 没有脱糖。它们基本上保持多态。