Add test cases for specialisation

Author: AlexSikia

tests/pos/specialization/multi_specialization.scala

@@ -1,7 +1,7 @@
 object multi_specialization {
   def one[@specialized T](n: T): T = n
-  def two[@specialized T, U](n: T, m: U): (T,U) = (n,m)
-  def three[@specialized T, U, V](n: T, m: U, o: V): (T,U,V) = (n,m,o)
+  def two[@specialized(Int, Double) T,@specialized(Double, Int) U](n: T, m: U): (T,U) = (n,m)
+  def three[@specialized(Int, Double) T,@specialized(Double, Int) U, V](n: T, m: U, o: V): (T,U,V) = (n,m,o)
 
   one(1)
   two(1,2)

tests/pos/specialization/mutual_specialization.scala

@@ -1,6 +1,6 @@
 object mutual_specialization {
   class A[T] {
-    def foo[@specialized U](b: U, n: Int): Unit = if (n > 0) bar(b, n-1)
-    def bar[@specialized V](a: V, n: Int): Unit = if (n > 0) foo(a, n-1)
+    def foo[@specialized(Double) U](b: U, n: Int): Unit = if (n > 0) bar(b, n-1)
+    def bar[@specialized(Double) V](a: V, n: Int): Unit = if (n > 0) foo(a, n-1)
   }
 }

tests/pos/specialization/partial_specialization.scala

@@ -0,0 +1,16 @@
+trait partial_specialization {
+  def foo1stOutOf1[@specialized(Int, Char) T](t: T) = ???
+  def foo1stOutOf2[@specialized(Int, Char) T, U](t: T, u: U): T = t
+  def foo2ndOutOf2[T, @specialized(Int, Char) U](t: T, u: U) = ???
+  def fooAllOutOf2[@specialized(Int, Char) T, @specialized(Int, Char) U](t: T, u: U) = ???
+  def foo1st3rdOutOf3[@specialized(Int, Char) T, U, @specialized(Int, Char) V](t: T, u: U, v: V) = ???
+
+  def main(args: Array[String]) = {
+    foo1stOutOf2(1, 2.0)
+    foo1stOutOf2(1, 2.0)
+    foo1st3rdOutOf3(1, 2, 'c')
+    foo2ndOutOf2(1, 'c')
+    fooAllOutOf2('a','b')
+    fooAllOutOf2(1.0,1.0)
+  }
+}

tests/pos/specialization/subtype_specialization.scala

@@ -0,0 +1,13 @@
+object subtype_specialization {
+
+  class Seq[+A]
+
+  case class FirstName[T](name: String) extends Seq[Char] {}
+
+  def foo[@specialized(Char) A](stuff: Seq[A]): Seq[A] = {
+    stuff
+  }
+
+  val s: Seq[FirstName] = foo[FirstName](new Seq[FirstName])
+
+}

tests/run/method-specialization.check

@@ -1,5 +1,7 @@
 10
 82
 3
+10
 int
-double,int
+double,int
+int,class java.lang.Object

tests/run/method-specialization.scala

@@ -4,11 +4,14 @@ object Test extends dotty.runtime.LegacyApp {
     def foo[@specialized U](u: U) = u
   }
   class Bar {
-    def bar[@specialized U, V](u: U, v: V) = v
+    def bar[@specialized U,@specialized V](u: U, v: V) = v
   }
   class Baz {
     def baz[@specialized(Int, Char) V](v: V): V = v
   }
+  class Kung {
+    def kung[@specialized U, V](u: U, v: V) = println(u.getClass)
+  }
 
   override def main(args: Array[String]): Unit = {
     /**
@@ -17,24 +20,36 @@ object Test extends dotty.runtime.LegacyApp {
      * 10
      * 82
      * 3
+     * 10
      * int
      * double,int
-     * int,double
+     * int,class java.lang.Object
      */
 
     val a = new Foo
     val b = new Bar
     val c = new Baz
+    val d = new Kung
     val foo_methods = a.getClass.getMethods
     val bar_methods = b.getClass.getMethods
     val baz_methods = c.getClass.getMethods
+    val kung_methods = d.getClass.getMethods
     println(foo_methods.filter(_.toString.contains("foo")).length)
     println(bar_methods.filter(_.toString.contains("bar")).length)
     println(baz_methods.filter(_.toString.contains("baz")).length)
+    println(kung_methods.filter(_.toString.contains("kung")).length)
 
     val baz_int_param = baz_methods.filter(_.toString.contains("$mIc$sp")).head.getParameterTypes.mkString(",")
     val bar_int_double_params = bar_methods.filter(s => s.toString.contains("$mDIc$sp"))
+    val kung_int_gen_params = kung_methods.filter(s => s.toString.contains("$mIc$sp"))
     println(baz_int_param)
     println(bar_int_double_params.head.getParameterTypes.mkString(","))
+    println(kung_int_gen_params.head.getParameterTypes.mkString(","))
+
+    def genericKung[A](a: A) = d.kung(a, a)
+    genericKung(1)
+
+    d.kung(1, 1)
+    d.kung(1.0, 1.0)
   }
 }