diff options
author | Martin Odersky <odersky@gmail.com> | 2014-11-21 14:32:49 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-11-24 14:57:49 +0100 |
commit | a89f48d1c3bef21ecf14048985334de6e0a8e505 (patch) | |
tree | 87cbd5ca476393a533922726d9ff18bac1c3f670 /src/dotty/tools | |
parent | f4d6c0f829cf3102e31fae020442d5e55998bcee (diff) | |
download | dotty-a89f48d1c3bef21ecf14048985334de6e0a8e505.tar.gz dotty-a89f48d1c3bef21ecf14048985334de6e0a8e505.tar.bz2 dotty-a89f48d1c3bef21ecf14048985334de6e0a8e505.zip |
Changed underlying type of RefinedThis
Now: The underlying refined type. Was: The parent of the type.
We need the change because RefinedThis is used as a narrowed version
of the underlying refinedType (e.g. in TypeComparer rebase), and the old
scheme would lose a binding of that type.
Diffstat (limited to 'src/dotty/tools')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index b7ccd88b0..57aca3c5e 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2142,7 +2142,7 @@ object Types { case class RefinedThis(binder: RefinedType) extends BoundType with SingletonType { type BT = RefinedType - override def underlying(implicit ctx: Context) = binder.parent + override def underlying(implicit ctx: Context) = binder def copyBoundType(bt: BT) = RefinedThis(bt) // need to customize hashCode and equals to prevent infinite recursion for |