divergent-implicit.check

来自「JAVA 语言的函数式编程扩展」· CHECK 代码 · 共 18 行

divergent-implicit.scala:4: error: diverging implicit expansion for type (Int) => B
starting with method cast in object Test1
  val x1: String = 1
                   ^
divergent-implicit.scala:5: error: diverging implicit expansion for type (Int) => String
starting with method cast in object Test1
  val x2: String = cast[Int, String](1)
                   ^
divergent-implicit.scala:14: error: diverging implicit expansion for type (Test2.Baz) => Test2.Bar
starting with method baz2bar in object Test2
  val x: Bar = new Foo
               ^
divergent-implicit.scala:15: error: diverging implicit expansion for type (Test2.Foo) => Test2.Bar
starting with method foo2bar in object Test2
  val y: Bar = new Baz
               ^
four errors found