summaryrefslogtreecommitdiff
path: root/test/files/neg/divergent-implicit.scala
blob: 4a356d54f780b28a1bce695ae3bd6ba16896a1d7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
object Test1 {
  implicit def cast[A, B](x: A)(implicit c: A => B): B = c(x)

  val x1: String = 1
  val x2: String = cast[Int, String](1)
}
object Test2 {
  class Foo
  class Bar
  class Baz
  implicit def foo2bar(x: Foo)(implicit baz2bar: Baz => Bar): Bar = baz2bar(new Baz)
  implicit def baz2bar(x: Baz)(implicit foo2bar: Foo => Bar): Bar = foo2bar(new Foo)

  val x: Bar = new Foo
  val y: Bar = new Baz
}