Minor inconsistency with type aliases and implicit resolution.

[sir-wabbit]

The following doesn't compile:

  type Dummy[A] = A
  implicit def dummy[A]: Dummy[A] = null.asInstanceOf[A]
  def m(x: List[String])(implicit d: Dummy[String]) = "string"
  def m(x: List[Int])(implicit d: Dummy[Int]) = "int"

  m(List(1, 2, 3))
  m(List("a"))

But if we inline the type alias,

  type Dummy[A] = A
  implicit def dummy[A]: Dummy[A] = null.asInstanceOf[A]
  def m(x: List[String])(implicit d: String) = "string"
  def m(x: List[Int])(implicit d: Int) = "int"

  m(List(1, 2, 3))
  m(List("a"))

everything works as expected.

[OlivierBlanvillain]

Thanks for reporting! I could minimize it further without implicits:

type Dummy[A] = A
def m(d: Dummy[String]) = ()
def m(d: Dummy[Int]) = ()

4 |  def m(d: Dummy[Int]) = ()
  |      ^
  |      method m is already defined as method m: (d: O.Dummy[String])Unit
  |       (the definitions have matching type signatures)