关于隐式的奇怪错误消息

Question

scala> implicit def transitive[A, B, C](implicit f: A => B, g: B => C): A => C = f andThen g
transitive: [A, B, C](implicit f: A => B, implicit g: B => C)A => C

scala> class Foo; class Bar; class Baz { def lol = println("lol") }
defined class Foo
defined class Bar
defined class Baz

scala> implicit def foo2Bar(f: Foo) = new Bar
foo2Bar: (f: Foo)Bar

scala> implicit def bar2Baz(f: Bar) = new Baz
bar2Baz: (f: Bar)Baz

scala> implicitly[Foo => Baz]
<console>:14: error: diverging implicit expansion for type Foo => Baz
starting with method transitive in object $iw
              implicitly[Foo => Baz]

从上面的代码中可以明显看出，我正在尝试编写一个方法，当在作用域中导入时，该方法将使隐式转换具有传递性。我原以为这段代码能工作，但令人惊讶的是它没有。上述错误消息是什么意思，如何使该代码工作？

Answer 1

更新：如评论中所述，此方法无法在 2.8 上编译，而隐式[Foo =>; Baz] 可以正常工作，而 (new Foo).lol 则不能。

---

如果您将 transitive 重命名为 conforms 以隐藏 Predef 中的方法，则效果很好：

implicit def conforms[A, B, C](implicit f: A => B, g: B => C): A => C = f andThen g

请参阅 这个答案了解更多详情。

---

附带说明：使用 -Xlog-implicits 启动 REPL 是在这种情况下获取更多信息性错误消息的便捷方法。在这种情况下，一开始并没有太多帮助：

scala> implicitly[Foo => Baz]
scala.this.Predef.conforms is not a valid implicit value for Foo => Baz because:
type mismatch;
 found   : <:<[Foo,Foo]
 required: Foo => Baz
<console>:14: error: diverging implicit expansion for type Foo => Baz
starting with method transitive in object $iw
              implicitly[Foo => Baz]
                        ^
scala.this.Predef.conforms is not a valid implicit value for Foo => Baz because:
type mismatch;
 found   : <:<[Foo,Foo]
 required: Foo => Baz
transitive is not a valid implicit value for Unit => Foo => Baz because:
not enough arguments for method transitive: (implicit f: A => B, implicit g: B => C)A => C.
Unspecified value parameter g.
transitive is not a valid implicit value for => Unit => Foo => Baz because:
not enough arguments for method transitive: (implicit f: A => B, implicit g: B => C)A => C.
Unspecified value parameter g.

但是如果我们暂时将 foo2Bar 和 bar2Baz 重写为函数，我们会收到一条错误消息，突出显示了歧义

implicit val foo2Bar = (_: Foo) => new Bar
implicit val bar2Baz = (_: Bar) => new Baz

scala> implicitly[Foo => Baz]
transitive is not a valid implicit value for Foo => Baz because:
ambiguous implicit values:
 both method conforms in object Predef of type [A]=> <:<[A,A]
 and value foo2Bar in object $iw of type => Foo => Bar
 match expected type Foo => B

：很明显，我们只需要影子conforms。