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/Definitions.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/Definitions.scala')
0 files changed, 0 insertions, 0 deletions