diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-11-10 10:40:04 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-11-10 10:40:04 +0100 |
commit | 813b5f36faf4a6d55f2e82d2bc457a066d8eaccd (patch) | |
tree | deaf72fd456a0670af623106203a77a1e66f6e87 /src/dotty/tools/dotc/Compiler.scala | |
parent | 30dc9241f98f5128a6f9ae8dffea47d751255c6d (diff) | |
download | dotty-813b5f36faf4a6d55f2e82d2bc457a066d8eaccd.tar.gz dotty-813b5f36faf4a6d55f2e82d2bc457a066d8eaccd.tar.bz2 dotty-813b5f36faf4a6d55f2e82d2bc457a066d8eaccd.zip |
New phase: crossCastAnd.
This transform makes sure that all private member selections from
AndTypes are performed from the first component of AndType.
This is needed for correctness of erasure.
See `tests/run/PrivateAnd.scala`
Diffstat (limited to 'src/dotty/tools/dotc/Compiler.scala')
-rw-r--r-- | src/dotty/tools/dotc/Compiler.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/Compiler.scala b/src/dotty/tools/dotc/Compiler.scala index bf3dbb232..eb8ee8848 100644 --- a/src/dotty/tools/dotc/Compiler.scala +++ b/src/dotty/tools/dotc/Compiler.scala @@ -52,6 +52,7 @@ class Compiler { List(new PatternMatcher, new ExplicitOuter, new ExplicitSelf, + new CrossCastAnd, new Splitter), List(new VCInlineMethods, new SeqLiterals, |