Add tests tests/(neg|run)/overload_repeated for #24072

Author: tanishiking

tests/neg/overload_repeated.scala

@@ -2,5 +2,11 @@ object Test {
   def bar1(x: Any) = 1
   def bar1(x: String*) = 2
 
+  // (b) isn't as good as (a) because of ints
+  // (a) isn't as good as (b) because T in Class[? <: T] may not subtype of Number
+  def bar2[T](a: Class[? <: T]): Int = 1 // (a)
+  def bar2[T <: Number](a: Class[T], ints: Int*): Int = 2 // (b)
+
   assert(bar1("") == 1) // error: ambiguous in Scala 2 and Scala 3
+  assert(bar2(classOf[Integer]) == 1) // error: ambiguous in Scala 2 and Scala 3
 }

tests/run/overload_repeated/A_1.java

@@ -11,13 +11,34 @@ class A_1 {
   public static <T> int foo4(T x) { return 1; }
   public static <T> int foo4(T x, T... y) { return 2; }
 
+  // https://github.com/scala/scala3/issues/24072
+  public static <T> int foo5(Class<? extends T> a) { return 1; }
+  public static <T> int foo5(Class<T> a, int... ints) { return 2; }
+
+  public static <T> int foo6(Class<T> a, int... ints) { return 1; }
+  public static <T> int foo6(int a) { return 2; }
+
+  public static <T extends Number> int foo7(Class<? extends T> a) { return 1; }
+  public static <T extends Number> int foo7(Class<T> a, int... ints) { return 2; }
+
+  public static <T extends Number> int foo8(Class<? extends T> a) { return 1; } // (a)
+  public static <T> int foo8(Class<T> a, int... ints) { return 2; } // (b)
+
+  public static <T> int foo9(Class<? extends T> a) { return 1; } // (a)
+  public static <T extends Number> int foo9(Class<T> a, int... ints) { return 2; } // (b)
+
   public static boolean check() {
     // Java prefers non-varargs to varargs:
     // https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.12.2
     return
         foo1("") == 1 &&
         foo2("") == 1 &&
         foo3("") == 1 &&
-        foo4("") == 1;
+        foo4("") == 1 &&
+        foo5(Object.class) == 1 &&
+        foo6(Object.class) == 1 &&
+        foo7(Integer.class) == 1 &&
+        foo8(Integer.class) == 1 &&
+        foo9(Integer.class) == 1;
   }
 }

tests/run/overload_repeated/B_2.scala

@@ -17,8 +17,17 @@ object Test {
   def bar5[T](a: Class[? <: T]): Int = 1
   def bar5[T](a: Class[T], ints: Int*): Int = 2
 
-  def bar6[T](a: Int): Int = 1
-  def bar6[T](a: Class[T], ints: Int*): Int = 2
+  def bar6[T](a: Class[T], ints: Int*): Int = 1
+  def bar6[T](a: Int): Int = 2
+
+  def bar7[T <: Number](a: Class[? <: T]): Int = 1
+  def bar7[T <: Number](a: Class[T], ints: Int*): Int = 2
+
+  def bar8[T <: Number](a: Class[? <: T]): Int = 1 // (a)
+  def bar8[T](a: Class[T], ints: Int*): Int = 2 // (b)
+
+  def bar9[T](a: Class[? <: T]): Int = 1 // (a)
+  def bar9[T <: Number](a: Class[T], ints: Int*): Int = 2 // (b)
 
   def main(args: Array[String]): Unit = {
     // In Java, varargs are always less specific than non-varargs (see
@@ -29,13 +38,21 @@ object Test {
     assert(A_1.foo2("") == 1) // Same as in Java and Scala 2
     assert(A_1.foo3("") == 1) // Same as in Java and Scala 2
     assert(A_1.foo4("") == 1) // Same as in Java and Scala 2
+    assert(A_1.foo5(classOf[Object]) == 1) // Same as in Java and Scala 2
+    assert(A_1.foo6(classOf[Object]) == 1) // Same as in Java and Scala 2
+    assert(A_1.foo7(classOf[Integer]) == 1) // Same as in Java and Scala 2
+    assert(A_1.foo8(classOf[Integer]) == 1) // Same as in Java and Scala 2
+    // assert(A_1.foo9(classOf[Integer]) == 1) // Works in Java, ambiguous in Scala 2 and 3
 
     // Same with Scala varargs:
     // assert(bar1("") == 1) // Works in Java, ambiguous in Scala 2 and Dotty
     assert(bar2("") == 1) // same in Scala 2
     assert(bar3("") == 1) // same in Scala 2
     assert(bar4("") == 1) // same in Scala 2
     assert(bar5(classOf[Object]) == 1) // same in Scala2
-    assert(bar6(classOf[Object]) == 2) // same in Scala2
+    assert(bar6(classOf[Object]) == 1) // same in Scala2
+    assert(bar7(classOf[Integer]) == 1) // same in Scala2
+    assert(bar8(classOf[Integer]) == 1) // same in Scala2
+    // assert(bar9(classOf[Integer]) == 1) Works in Java, ambiguous in Scala 2 and 3
   }
 }