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 /LICENSE.md | |
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 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions