Fix ASF call in ResolveSuper

Author: dwijnand

Diff for: compiler/src/dotty/tools/dotc/transform/ResolveSuper.scala

@@ -109,8 +109,8 @@ object ResolveSuper {
         sym = other.symbol
         // Having a matching denotation is not enough: it should also be a subtype
         // of the superaccessor's type, see i5433.scala for an example where this matters
-        val otherTp = other.asSeenFrom(base.typeRef).info
-        val accTp = acc.asSeenFrom(base.typeRef).info
+        val otherTp = other.asSeenFrom(base.thisType).info
+        val accTp = acc.asSeenFrom(base.thisType).info
         // Since the super class can be Java defined,
         // we use relaxed overriding check for explicit nulls if one of the symbols is Java defined.
         // This forces `Null` to be a subtype of non-primitive value types during override checking.

Diff for: tests/pos/i22062.scala

@@ -0,0 +1,32 @@
+class Label
+class Component
+
+trait RenderableCellsCompanion:
+  type Renderer[-A] <: CellRenderer[A]
+  type DefaultRenderer[-A] <: Label & Renderer[A]
+
+  trait CellRendererCompanion:
+    type CellInfo
+    def labeled[A](): DefaultRenderer[A]
+    protected trait LabelRenderer[-A] extends CellRenderer[A]:
+      override abstract def componentFor(info: companion.CellInfo): Component = super.componentFor(info)
+
+  trait CellRenderer[-A]:
+    val companion: CellRendererCompanion
+    def componentFor(cellInfo: companion.CellInfo): Component
+
+sealed trait TreeRenderers extends RenderableCellsCompanion:
+  this: Tree.type =>
+
+  trait Renderer[-A] extends CellRenderer[A]:
+    final override val companion = Renderer
+
+  object Renderer extends CellRendererCompanion:
+    final override class CellInfo
+    override def labeled[A]() = new DefaultRenderer[A] with LabelRenderer[A] {}
+
+  class DefaultRenderer[-A] extends Label with Renderer[A]:
+    override def componentFor(info: Renderer.CellInfo): Component = ???
+
+class Tree extends Component
+object Tree extends TreeRenderers