miscellaneous refinements of reflection API

1) Removed unnecessary (i.e. implementable with pattern matching) type APIs.
2) Renamed isHigherKinded to takesTypeArgs making it easier to understand.
2) typeParams and resultType have been moved from MethodType to MethodSymbol
   Strictly speaking they are superfluous, but they are used very often.

1 files changed, 24 insertions, 0 deletions

diff --git a/test/files/run/reflection-methodsymbol-typeparams.scala b/test/files/run/reflection-methodsymbol-typeparams.scala
new file mode 100644
index 0000000000..28f1c8973d
--- /dev/null
+++ b/test/files/run/reflection-methodsymbol-typeparams.scala
@@ -0,0 +1,24 @@
+import scala.reflect.runtime.universe._
+
+class C {
+  def x1: Int = ???
+  def x2(): Int = ???
+  def x3(x: Int): Int = ???
+  def x4(x: Int)(y: Int): Int = ???
+
+  def y1[T]: Int = ???
+  def y2[T](): Int = ???
+  def y3[T](x: Int): Int = ???
+  def y4[T](x: Int)(y: Int): Int = ???
+}
+
+object Test extends App {
+  println(typeOf[C].member(newTermName("x1")).asMethodSymbol.typeParams)
+  println(typeOf[C].member(newTermName("x2")).asMethodSymbol.typeParams)
+  println(typeOf[C].member(newTermName("x3")).asMethodSymbol.typeParams)
+  println(typeOf[C].member(newTermName("x4")).asMethodSymbol.typeParams)
+  println(typeOf[C].member(newTermName("y1")).asMethodSymbol.typeParams)
+  println(typeOf[C].member(newTermName("y2")).asMethodSymbol.typeParams)
+  println(typeOf[C].member(newTermName("y3")).asMethodSymbol.typeParams)
+  println(typeOf[C].member(newTermName("y4")).asMethodSymbol.typeParams)
+}
\ No newline at end of file