blob: 11dae1097ff3b90ad5fbe4571f998b57046bd6f0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
object ImplicitConvAmbiguity2 {
class N[T]
class NE[T] extends N[T]
class NN[T] extends N[T]
class NQ[T] extends N[T]
class NZ[T] extends N[T]
class AA[A]
class BB[A]
implicit def conv1(i: Float) = new NE[Float]
implicit def conv3(op: AA[java.util.TooManyListenersException]) = new N[java.util.TooManyListenersException]
implicit def conv4(op: AA[Float]) = new N[Float]
implicit def conv7(i: Float) = new NZ[Float]
implicit def conv5(e: BB[java.util.GregorianCalendar]) = new N[java.util.GregorianCalendar]
// These two will be in conflict in typeMe1
def aFunc[A](a: NE[A]) = new AA[A]
def aFunc[A](a: NZ[A]) = new AA[Float]
def aFunc[A](a: NN[A]) = new BB[A]
def aFunc[A](a: NQ[A]) = new BB[A]
def bFunc[T](e1: N[T]) = {}
def typeMe1: Unit = {
val x = aFunc(4F)
bFunc(x)
}
def typeMe2: Unit = {
bFunc(aFunc(4F))
}
}
|