Always make use of stable references in computeThisBindings

Author: odersky

compiler/src/dotty/tools/dotc/typer/Inliner.scala

@@ -516,17 +516,17 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
     var lastLevel: Int = 0
     for ((level, selfSym) <- sortedProxies) {
       lazy val rhsClsSym = selfSym.info.widenDealias.classSymbol
-      val rhs =
-        if lastSelf.exists then
-          selfSym.info match
-            case info: TermRef if info.isStable =>
-              ref(info)
-            case _ =>
-              ref(lastSelf).outerSelect(lastLevel - level, selfSym.info)
-        else if rhsClsSym.is(Module) && rhsClsSym.isStatic then
-          ref(rhsClsSym.sourceModule)
-        else
-          inlineCallPrefix
+      val rhs = selfSym.info.dealias match
+        case info: TermRef if info.isStable =>
+          ref(info)
+        case info =>
+          val rhsClsSym = info.widenDealias.classSymbol
+          if rhsClsSym.is(Module) && rhsClsSym.isStatic then
+            ref(rhsClsSym.sourceModule)
+          else if lastSelf.exists then
+            ref(lastSelf).outerSelect(lastLevel - level, selfSym.info)
+          else
+            inlineCallPrefix
       val binding = ValDef(selfSym.asTerm, QuoteUtils.changeOwnerOfTree(rhs, selfSym)).withSpan(selfSym.span)
       bindingsBuf += binding
       inlining.println(i"proxy at $level: $selfSym = ${bindingsBuf.last}")

tests/run/i11914a.scala

@@ -0,0 +1,23 @@
+object Wrapper:
+  type E <: Throwable
+  class C:
+    object syntax:
+        extension [A <: Matchable](a: E | A)
+          transparent inline def foreach(f: A => Any): Unit =
+            a match
+              case e: E =>
+                Wrapper.this.n + m
+              case a: A => f(a)
+        val m: Int = 4
+
+  def _catch[A](a: => A): E | A =
+    try a
+    catch case e: E => e
+
+  val n: Int = 3
+
+object throwables extends Wrapper.C
+import throwables.syntax.*
+
+@main def Test(): Unit =
+  for x <- Wrapper._catch(1/1) do println(x)