tests/untried/pos/t4457_1.scala


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

object ImplicitConvAmbiguity2 {

  class N[T]
  class NE[T] extends N[T]
  class NN[T] extends N[T]
  class AA[A]
  class BB[A]

  implicit def conv1(i: Float): ImplicitConvAmbiguity2.NE[Float] = new NE[Float]
  implicit def conv3(op: AA[java.util.TooManyListenersException]): ImplicitConvAmbiguity2.N[java.util.TooManyListenersException] = new N[java.util.TooManyListenersException]
  implicit def conv4(op: AA[Float]): ImplicitConvAmbiguity2.N[Float] = new N[Float]
  implicit def conv5(e: BB[java.util.GregorianCalendar]): ImplicitConvAmbiguity2.N[java.util.GregorianCalendar] = new N[java.util.GregorianCalendar]

  def aFunc[A](a: NE[A]) = new AA[A]
  def aFunc[A](a: NN[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))
  }
}