diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-09 09:52:00 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-09 09:52:37 +0100 |
commit | 90f2668220645df7b654827c2dfdd1100c878ac2 (patch) | |
tree | 8cd20e382467cbceffa7767d65563b76a61cdb39 /AUTHORS.md | |
parent | 9f745338242524c6607fa7b2930157b0c71be939 (diff) | |
download | dotty-90f2668220645df7b654827c2dfdd1100c878ac2.tar.gz dotty-90f2668220645df7b654827c2dfdd1100c878ac2.tar.bz2 dotty-90f2668220645df7b654827c2dfdd1100c878ac2.zip |
Optimize for case where RefinedThis is absent
Since we cache the information whether a refinement contains RefinedThis
occurrences to the refinement itself, we can use this info to avoid substututing
RefinedThis types. Used in findMember and hasMatchingMember.
The commit uncovered an issue with constraint handling that will be fixed in the next commit.
Diffstat (limited to 'AUTHORS.md')
0 files changed, 0 insertions, 0 deletions