diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-09 17:21:38 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-09 17:41:48 +0100 |
| commit | 710e40e991db4c1c519cfea1d3112b558ad044e9 (patch) | |
| tree | f53343c7686b732d49b92de89c3802a229485fd7 /src/dotty/tools/dotc/core/TypeApplications.scala | |
| parent | acb64b27c1142b1bf538585347784106fab83767 (diff) | |
| download | dotty-710e40e991db4c1c519cfea1d3112b558ad044e9.tar.gz dotty-710e40e991db4c1c519cfea1d3112b558ad044e9.tar.bz2 dotty-710e40e991db4c1c519cfea1d3112b558ad044e9.zip | |
Made refinement subtype fastpath insensitive to RefineedThis#binder.
Since the binder field in RefinedTypes should not be significant for
subtyping, we need to substitute RefinedThis types away before comparing
refinements. But this substitution is only done in the slow path.
The fix falls back to the slow path if a refinement
refers to the refined type via a refined this.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
0 files changed, 0 insertions, 0 deletions