Harmonize treatment of simplified between typer and unpickler

We got some spurious differences in the types in TemplateParents
because simplification was done in Typer but not in Unpickler.

With the change we get perfect matches for all files in pickleOK
also if we print their types.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/dotty/tools/dotc/core/pickling/TreeUnpickler.scala b/src/dotty/tools/dotc/core/pickling/TreeUnpickler.scala
index 66891b448..0cac3491a 100644
--- a/src/dotty/tools/dotc/core/pickling/TreeUnpickler.scala
+++ b/src/dotty/tools/dotc/core/pickling/TreeUnpickler.scala
@@ -787,10 +787,10 @@ class TreeUnpickler(reader: TastyReader, tastyName: TastyName.Table) {
         assert(currentAddr == end, s"$start $currentAddr $end ${astTagToString(tag)}")
         result
       }
-
-      setPos(start, 
-        if (tag < firstLengthTreeTag) readSimpleTerm()
-        else readLengthTerm())
+      
+      val tree = if (tag < firstLengthTreeTag) readSimpleTerm() else readLengthTerm()
+      tree.overwriteType(tree.tpe.simplified)
+      setPos(start, tree)
     }
     
     def readTpt()(implicit ctx: Context) = {