Enable pickling test

liufengyun · liufengyun · commit 68f6ace1d95e · 2021-03-02T15:06:10.000+01:00
Avoid unnecessary recursive types in the presence of LazyRef.
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2924,7 +2924,7 @@ object Types {
           tp match {
             case tp: TypeRef => apply(x, tp.prefix)
             case tp: RecThis => RecType.this eq tp.binder
-            case tp: LazyRef => true // To be safe, assume a reference exists
+            case tp: LazyRef => this(x, tp.ref)
             case _ => foldOver(x, tp)
           }
         }
diff --git a/compiler/test/dotc/pos-test-pickling.blacklist b/compiler/test/dotc/pos-test-pickling.blacklist
@@ -60,4 +60,3 @@ i9793.scala
 
 # lazy_implicit symbol has different position after pickling
 i8182.scala
-

Original file line number	Diff line number	Diff line change
`@@ -2924,7 +2924,7 @@ object Types {`
`2924`	`2924`	`tp match {`
`2925`	`2925`	`case tp: TypeRef => apply(x, tp.prefix)`
`2926`	`2926`	`case tp: RecThis => RecType.this eq tp.binder`
`2927`		`- case tp: LazyRef => true // To be safe, assume a reference exists`
	`2927`	`+ case tp: LazyRef => this(x, tp.ref)`
`2928`	`2928`	`case _ => foldOver(x, tp)`
`2929`	`2929`	`}`
`2930`	`2930`	`}`
Original file line number	Diff line number	Diff line change
`@@ -60,4 +60,3 @@ i9793.scala`
`60`	`60`
`61`	`61`	`# lazy_implicit symbol has different position after pickling`
`62`	`62`	`i8182.scala`
`63`		`-`