Merge pull request #883 from dgruntz/issue/6061

SI-6061 adds weakly conformance for number types to resolveOverloaded

2 files changed, 22 insertions, 11 deletions

diff --git a/test/files/run/reflect-resolveoverload-invalid.scala b/test/files/run/reflect-resolveoverload-invalid.scala
index def28ccbb4..8c5dc9f94b 100644
--- a/test/files/run/reflect-resolveoverload-invalid.scala
+++ b/test/files/run/reflect-resolveoverload-invalid.scala
@@ -27,7 +27,7 @@ object Test extends App {
   val d = t member u.newTermName("d") asTermSymbol
   val e = t member u.newTermName("e") asTermSymbol
 
-  val n1 = a.resolveOverloaded(posVargs = List(u.typeOf[Char]))
+  val n1 = a.resolveOverloaded(posVargs = List(u.typeOf[Long]))
   val n2 = b.resolveOverloaded(posVargs = List(u.typeOf[A]))
   val n3 = c.resolveOverloaded(posVargs = List(u.typeOf[B], u.typeOf[B]))
   val n4 = d.resolveOverloaded(targs = List(u.typeOf[Int]))
diff --git a/test/files/run/reflect-resolveoverload2.scala b/test/files/run/reflect-resolveoverload2.scala
index b5f719814b..a800a3e92c 100644
--- a/test/files/run/reflect-resolveoverload2.scala
+++ b/test/files/run/reflect-resolveoverload2.scala
@@ -2,16 +2,20 @@ class A
 class B extends A
 
 class C {
-   def a(x: Int) = 1
-   def a(x: String) = 2
-   //def b(x: => Int)(s: String) = 1
-   //def b(x: => String)(a: Array[_]) = 2
-   def c(x: A) = 1
-   def c(x: B) = 2
-   //def d(x: => A)(s: String) = 1
-   //def d(x: => B)(a: Array[_]) = 2
-   def e(x: A) = 1
-   def e(x: B = new B) = 2
+  def a(x: Int) = 1
+  def a(x: String) = 2
+  //def b(x: => Int)(s: String) = 1
+  //def b(x: => String)(a: Array[_]) = 2
+  def c(x: A) = 1
+  def c(x: B) = 2
+  //def d(x: => A)(s: String) = 1
+  //def d(x: => B)(a: Array[_]) = 2
+  def e(x: A) = 1
+  def e(x: B = new B) = 2
+  def f(x: Int) = 1
+  def f(x: String) = 2
+  def f(x: Long) = 3
+  def f(x: Double) = 4
 }
 
 object Test extends App {
@@ -29,6 +33,8 @@ object Test extends App {
   }
   assert(c.a(1) == invoke("a", 1, u.typeOf[Int]))
   assert(c.a("a") == invoke("a", "a", u.typeOf[String]))
+  assert(c.a('a') == invoke("a", 'a', u.typeOf[Char]))
+  assert(c.a(3: Byte) == invoke("a", 3: Byte, u.typeOf[Byte]))
   //assert(c.b(1)(null) == invoke("b", 1, u.typeOf[Int]))
   //assert(c.b("a")(null) == invoke("b", "a", u.typeOf[String]))
   assert(c.c(new A) == invoke("c", new A, u.typeOf[A]))
@@ -37,4 +43,9 @@ object Test extends App {
   //assert(c.d(new B)(null) == invoke("d", new B, u.typeOf[B]))
   assert(c.e(new A) == invoke("e", new A, u.typeOf[A]))
   assert(c.e(new B) == invoke("e", new B, u.typeOf[B]))
+  assert(c.f(1: Short) == invoke("f", 1: Short, u.typeOf[Short]))
+  assert(c.f(2) == invoke("f", 2, u.typeOf[Int]))
+  assert(c.f(3L) == invoke("f", 3L, u.typeOf[Long]))
+  assert(c.f(4f) == invoke("f", 4f, u.typeOf[Float]))
+  assert(c.f(5d) == invoke("f", 5d, u.typeOf[Double]))
 }