Add test case

1 files changed, 26 insertions, 0 deletions

diff --git a/tests/pickling/selfSym.scala b/tests/pickling/selfSym.scala
new file mode 100644
index 000000000..ab8db8513
--- /dev/null
+++ b/tests/pickling/selfSym.scala
@@ -0,0 +1,26 @@
+// A test which exercises both param forwarding and explicit self types,
+// so param forwarder definitions will get symbolic references.
+// It leads to tricky situations which manifest themselves by pickle
+// failures. Before pickling, a param accessor still had
+// the value type (which is wrong), when reading back the
+// pickled info, this type is then the correct ExprType.
+// Fixed by adapating references oto param forwarders in ParamForwarding.scala
+// Without the symblolic reference, this error was somehow masked by
+// the fact that the reference cache was already updated to the
+// good info.
+package test
+
+class Base(val x: Int)
+
+abstract class Middle(x: Int) extends Base(x) { self: Sub =>
+
+  def f(y: Int): Int = x + y
+
+}
+
+class Sub extends Middle(2) {
+
+  override def f(x: Int) = x
+
+}
+