Merge pull request #15092 from dotty-staging/fix-14999

Eta expand CFTs in super accessors if needed

Author: griggt

compiler/src/dotty/tools/dotc/transform/ResolveSuper.scala

@@ -48,11 +48,12 @@ class ResolveSuper extends MiniPhase with IdentityDenotTransformer { thisPhase =
     import ops._
 
     def superAccessors(mixin: ClassSymbol): List[Tree] =
-      for (superAcc <- mixin.info.decls.filter(_.isSuperAccessor))
-        yield {
-          util.Stats.record("super accessors")
-          DefDef(mkForwarderSym(superAcc.asTerm), forwarderRhsFn(rebindSuper(cls, superAcc)))
-      }
+      for superAcc <- mixin.info.decls.filter(_.isSuperAccessor)
+      yield
+        util.Stats.record("super accessors")
+        val fwd = mkForwarderSym(superAcc.asTerm)
+        DefDef(fwd, forwarderRhsFn(rebindSuper(cls, superAcc))
+          .andThen(_.etaExpandCFT(using ctx.withOwner(fwd))))
 
     val overrides = mixins.flatMap(superAccessors)
 

tests/pos/i14999.scala

@@ -0,0 +1,13 @@
+trait Foo:
+   def foo: String ?=> Int =
+     summon[String].length
+
+trait Bar extends Foo:
+   override def foo =
+      super.foo
+
+class Baz extends Bar
+
+@main def Test =
+  given String = "hello"
+  assert(Baz().foo == 5)