diff options
author | Martin Odersky <odersky@gmail.com> | 2014-06-15 12:00:13 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-06-15 12:11:37 +0200 |
commit | 388d9a889c6929699e879a307dc80145b906390a (patch) | |
tree | dae6aa02afdfd2a5509dac0abb168eeb8671af74 /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | 099e5a64a731c0221a19089bffb0dec9ccde8f95 (diff) | |
download | dotty-388d9a889c6929699e879a307dc80145b906390a.tar.gz dotty-388d9a889c6929699e879a307dc80145b906390a.tar.bz2 dotty-388d9a889c6929699e879a307dc80145b906390a.zip |
Fixing subtyping of refined types
Refined type subtyping needs to take into account all information
that was seen about members of both refined types. This is handled by
storing context info in `pendingRefinedBases` and making use of this
to selective rebase qualifiers when comparing refined types.
Note: This commit fails in pos/collections and dotc/ast, presumably because
of bad interaction between the refined subtyping and the "matchingNames" logic
(which will go away).
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
0 files changed, 0 insertions, 0 deletions