Scala中的“底层类型”是什么？

Question

最近我偶然发现一条scalac错误消息抱怨两种类型不相同，尽管“底层类型”是相同的。无论错误及其细节如何，我都对这种“潜在类型”感到好奇。它是什么 ？

Answer 1

对于单件类型x.type，它是x的类型。例如，如果您有val x: Int x.type的基础类型为Int。