diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-06 18:06:08 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-06 18:06:08 +0200 |
commit | 3b60c3bfd675c9c650a006a302fb35163181db89 (patch) | |
tree | 56ca7afdae15fda2ba5dc4b99dd74dd1562fecb5 /src/dotty/tools/dotc/core/Types.scala | |
parent | 0a48b2a6d3516f1f7d10d9a2a594a744ef98d5e8 (diff) | |
download | dotty-3b60c3bfd675c9c650a006a302fb35163181db89.tar.gz dotty-3b60c3bfd675c9c650a006a302fb35163181db89.tar.bz2 dotty-3b60c3bfd675c9c650a006a302fb35163181db89.zip |
Revert "Make prefix covariant in type maps."
This reverts commit 0a48b2a6d3516f1f7d10d9a2a594a744ef98d5e8.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 1d438daf0..e4f228915 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2884,7 +2884,13 @@ object Types { tp match { case tp: NamedType => if (stopAtStatic && tp.symbol.isStatic) tp - else tp.derivedSelect(this(tp.prefix)) + else { + val saved = variance + variance = 0 + val result = tp.derivedSelect(this(tp.prefix)) + variance = saved + result + } case _: ThisType | _: BoundType |