Scala的'NotInferedT'来自哪里？

Question

在Scala中，我们可以通过包含“NotInferedT”的消息获得编译错误。例如：

 expected: (NotInferedT, NotInferedT) => Boolean, actual: (Nothing, Nothing)

（见here）。

这个消息来自Scala编译器，它似乎意味着Scala无法推断出类型。但'NotInferedT'本身是一种类型吗？它是在Scala文档中描述的吗？ 我在Scala API docs 找不到'NotInferedT'。

Answer 1

It's the way the Scala plugin (which is basically a Scala compiler) for IntelliJ IDEA names an undefined type it can't resolve:

case UndefinedType(tpt, _) => "NotInfered" + tpt.name