diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-09-23 14:07:35 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-09-23 14:07:35 +0200 |
commit | 58ae0d03a13fbe159120c9356884f96dda37d575 (patch) | |
tree | a5f786e342cbecfe0c483546ba84de97be63ffc3 | |
parent | 2b52e9ccbf0427f7b9e4d5f61f1df8b4fb5d3f24 (diff) | |
download | dotty-58ae0d03a13fbe159120c9356884f96dda37d575.tar.gz dotty-58ae0d03a13fbe159120c9356884f96dda37d575.tar.bz2 dotty-58ae0d03a13fbe159120c9356884f96dda37d575.zip |
Fix errorneus equality between TermRef and WithFixedSym
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index bbec70404..59adf764e 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -1335,7 +1335,8 @@ object Types { case that: NamedType => this.name == that.name && this.prefix == that.prefix && - !that.isInstanceOf[TermRefWithSignature] + !that.isInstanceOf[TermRefWithSignature] && + !that.isInstanceOf[WithFixedSym] case _ => false } |