Disable type simplify in unpickler

scala · Feb 16, 2022 · 90aa58a · 90aa58a
1 parent 8f99dad
commit 90aa58a
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala b/compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala
@@ -1297,8 +1297,6 @@ class TreeUnpickler(reader: TastyReader,
       }
 
       val tree = if (tag < firstLengthTreeTag) readSimpleTerm() else readLengthTerm()
-      if (!tree.isInstanceOf[TypTree]) // FIXME: Necessary to avoid self-type cyclic reference in tasty_tools
-        tree.overwriteType(tree.tpe.simplified)
       setSpan(start, tree)
     }
 

diff --git a/tests/pos/pickleSkelom.scala b/tests/pos/pickleSkelom.scala
@@ -0,0 +1,15 @@
+class A
+
+type B = A
+
+def f[T](x: T): x.type & T = ???
+
+def g = {
+  var a: B = ???
+  f[A](a)
+}
+
+def testNN = {
+  var s: String = ???
+  x.nn
+}