SI-6086 magic symbols strike back

Some of the symbols inside the compiler get created on the fly,
because there are no physical entities in classfiles corresponding to them.

This curious fact needs to be taken into account when loading symbols,
so that the magic symbols get correctly loaded by reflective mirrors.

magicSymbols (as defined in Definitions.scala) include not only
top-level classes, but some other stuff (e.g. String_+ or methods on Any).
Hence a filtering was done to exclude the stuff that's irrelevant
to reflective symbol loading.

Unfortunately a filter was configured to accept only _.isClass,
which consequently ruled out scala.AnyRef (that is a type alias).

1 files changed, 39 insertions, 0 deletions

diff --git a/test/files/run/reflection-magicsymbols-repl.check b/test/files/run/reflection-magicsymbols-repl.check
new file mode 100644
index 0000000000..d2ef4ad3cd
--- /dev/null
+++ b/test/files/run/reflection-magicsymbols-repl.check
@@ -0,0 +1,39 @@
+Type in expressions to have them evaluated.

+Type :help for more information.

+

+scala> 

+

+scala> import scala.reflect.runtime.universe._

+import scala.reflect.runtime.universe._

+

+scala> class A {

+  def foo1(x: Int*) = ???

+  def foo2(x: => Int) = ???

+  def foo3(x: Any) = ???

+  def foo4(x: AnyRef) = ???

+  def foo5(x: AnyVal) = ???

+  def foo6(x: Null) = ???

+  def foo7(x: Nothing) = ???

+  def foo8(x: Singleton) = ???

+}

+defined class A

+

+scala> def test(n: Int): Unit = {

+  val sig = typeOf[A] member newTermName("foo" + n) typeSignature

+  val x = sig.asInstanceOf[MethodType].params.head

+  println(x.typeSignature)

+}

+warning: there were 1 feature warnings; re-run with -feature for details

+test: (n: Int)Unit

+

+scala> for (i <- 1 to 8) test(i)

+scala.Int*

+=> scala.Int

+scala.Any

+scala.AnyRef

+scala.AnyVal

+scala.Null

+scala.Nothing

+scala.Singleton

+

+scala>