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.

1 files changed, 3 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/transform/ExplicitSelf.scala b/src/dotty/tools/dotc/transform/ExplicitSelf.scala
index c6a218157..618a0f108 100644
--- a/src/dotty/tools/dotc/transform/ExplicitSelf.scala
+++ b/src/dotty/tools/dotc/transform/ExplicitSelf.scala
@@ -16,9 +16,10 @@ import Flags._
  *  where `C` is a class with explicit self type and `C` is not a
  *  subclass of the owner of `m` to
  *
- *     C.this.asInstanceOf[S].m
+ *     C.this.asInstanceOf[S & C.this.type].m
  *
  *  where `S` is the self type of `C`.
+ *  See run/i789.scala for a test case why this is needed.
  */
 class ExplicitSelf extends MiniPhaseTransform { thisTransform =>
   import ast.tpd._
@@ -30,7 +31,7 @@ class ExplicitSelf extends MiniPhaseTransform { thisTransform =>
       val cls = thiz.symbol.asClass
       val cinfo = cls.classInfo
       if (cinfo.givenSelfType.exists && !cls.derivesFrom(tree.symbol.owner))
-        cpy.Select(tree)(thiz.asInstance(cinfo.selfType), name)
+        cpy.Select(tree)(thiz.asInstance(AndType(cinfo.selfType, thiz.tpe)), name)
       else tree
     case _ => tree
   }