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