aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2015-07-19 12:41:32 +0200
committerMartin Odersky <odersky@gmail.com>2015-09-18 18:07:27 +0200
commitb12edd1959450f5473cef095821b86400b959e8d (patch)
tree7456a3fadb3ec3ddc048359e6e44b017b53dcc8c /src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
parente2aa258c3781fa9ee62fa47dd3b1206b09588c17 (diff)
downloaddotty-b12edd1959450f5473cef095821b86400b959e8d.tar.gz
dotty-b12edd1959450f5473cef095821b86400b959e8d.tar.bz2
dotty-b12edd1959450f5473cef095821b86400b959e8d.zip
Allow to use safe substitution in LambdaAbstract
Needed to avoid cycles involving F-boundes hk-types when reading Scala2 collection classes with new hk-scheme.
Diffstat (limited to 'src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala')
-rw-r--r--src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala b/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
index 1420237de..b0f31d763 100644
--- a/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
+++ b/src/dotty/tools/dotc/core/unpickleScala2/Scala2Unpickler.scala
@@ -52,7 +52,7 @@ object Scala2Unpickler {
case TempPolyType(tparams, restpe) =>
if (denot.isType) {
assert(!denot.isClass)
- restpe.LambdaAbstract(tparams)
+ restpe.LambdaAbstract(tparams, cycleParanoid = true)
}
else
PolyType.fromSymbols(tparams, restpe)