diff options
author | Martin Odersky <odersky@gmail.com> | 2014-06-20 14:52:36 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-06-20 14:52:36 +0200 |
commit | ad0600fbfaf0c9993f993b8577c82ba447baea26 (patch) | |
tree | b9127a20149a5df61b5caff182935459a9c185f1 /src/dotty/tools/dotc/core/Types.scala | |
parent | 91e44df57185a32988c22823551d8049b3c43da8 (diff) | |
download | dotty-ad0600fbfaf0c9993f993b8577c82ba447baea26.tar.gz dotty-ad0600fbfaf0c9993f993b8577c82ba447baea26.tar.bz2 dotty-ad0600fbfaf0c9993f993b8577c82ba447baea26.zip |
Add missing case where isHKSubType is needed
Was not called when comparing a named type with an #Apply projection. The commit fixes this.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions