scala类型推断失败

在使用Scala一段时间后，我认为我已经了解了关于类型推断的所有内容，但显然不是。我不明白为什么编译器不能推断以下情况的类型：

trait低级别[A]
trait HighLevel[L这也有效：
def method[A，L@michaJlS是的，但不幸的是，在您的例子中，H的类型信息将在函数中丢失。这看起来像是一个编译器错误。请注意，您的示例使用
dotty
可以很好地编译。