diff options
author | Martin Odersky <odersky@gmail.com> | 2013-04-10 10:09:06 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-04-10 10:09:06 +0200 |
commit | 1034d4e420c2b0724945486f341c53a07e6a90e0 (patch) | |
tree | 0d06fb6ab5591e8c56053c737184130bacf2641d /src/dotty/tools/dotc/core/pickling/ClassfileParser.scala | |
parent | ac8b319ed4738b2200350adb3943eb558157e1b7 (diff) | |
download | dotty-1034d4e420c2b0724945486f341c53a07e6a90e0.tar.gz dotty-1034d4e420c2b0724945486f341c53a07e6a90e0.tar.bz2 dotty-1034d4e420c2b0724945486f341c53a07e6a90e0.zip |
Removing automatic legal prefix checking.
It turned out this led to cycles in subtyping. We need to check for legal prefixes only for types that are declared or inferred in source. For the rest, we should assume that the type is OK.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/ClassfileParser.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/pickling/ClassfileParser.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/pickling/ClassfileParser.scala b/src/dotty/tools/dotc/core/pickling/ClassfileParser.scala index e17588e60..801841915 100644 --- a/src/dotty/tools/dotc/core/pickling/ClassfileParser.scala +++ b/src/dotty/tools/dotc/core/pickling/ClassfileParser.scala @@ -18,7 +18,7 @@ class ClassfileParser( classRoot: ClassDenotation, moduleRoot: ClassDenotation)(cctx0: CondensedContext) { - implicit val cctx: CondensedContext = cctx0.fresh.withCheckPrefix(false) + implicit val cctx: CondensedContext = cctx0 import ClassfileConstants._ import cctx.base.{settings, loaders, definitions => defn} |