Bugfixes in unpickling

 - better diagnostics, avoid try-finally-assert, because that masks errors.
 - handle paths as terms correctly.
 - need to set flags wholesale from pickling, not just add to them.
 - fix pickling of refined types and skolem types.
 - dealias type aliases representing parameter instantiations before pickling,
   so that we do not refer to as-yet-undefined symbols.

1 files changed, 2 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/core/pickling/TastyUnpickler.scala b/src/dotty/tools/dotc/core/pickling/TastyUnpickler.scala
index 596b7542d..b67244e3b 100644
--- a/src/dotty/tools/dotc/core/pickling/TastyUnpickler.scala
+++ b/src/dotty/tools/dotc/core/pickling/TastyUnpickler.scala
@@ -41,7 +41,7 @@ class TastyUnpickler(reader: TastyReader) {
     val end = start + length
     val result = tag match {
       case UTF8 => 
-        skipTo(end)
+        goto(end)
         Simple(termName(bytes, start.index, length))
       case QUALIFIED =>
         Qualified(readNameRef(), readNameRef())
@@ -83,7 +83,7 @@ class TastyUnpickler(reader: TastyReader) {
       val secName = readString()
       val secEnd = readEnd()
       sectionReader(secName) = new TastyReader(bytes, currentAddr.index, secEnd.index, currentAddr.index)
-      skipTo(secEnd)
+      goto(secEnd)
     }
   }