diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-09-07 17:44:47 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:11:21 +0200 |
| commit | bf3345a9d25e464975dd5000186c766de842f020 (patch) | |
| tree | f1306e03d30e483561ae5d1a7740ada3a25c744d /src/dotty/tools/dotc/core/Types.scala | |
| parent | 4253578c2369708c861c40e52e41e3796a3a2717 (diff) | |
| download | dotty-bf3345a9d25e464975dd5000186c766de842f020.tar.gz dotty-bf3345a9d25e464975dd5000186c766de842f020.tar.bz2 dotty-bf3345a9d25e464975dd5000186c766de842f020.zip | |
Fix ExplicitSelf phase
After inlining we got a Ycheck error of the form:
found : `this.asInstanceOf[SelfType].C`
expected: `this.C`
The fact that it was related inlining was coincidental I think.
We fix the problem by expanding to
this.asInstanceOf[SelfType & this.type].C
instead.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions