Merge pull request #9831 from dotty-staging/fix-#9828

Fix #9828: Add missing case for adapt of ExpMethodApply results

Author: nicolasstucki

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

@@ -3581,6 +3581,9 @@ class Typer extends Namer
                 case _: IntegratedTypeArgs => tree
                 case _ =>  tryInsertApplyOrImplicit(tree, pt, locked)(tree) // error will be reported in typedTypeApply
               }
+            case pt: SelectionProto if tree.isInstanceOf[ExtMethodApply] =>
+              assert(pt.extensionName == tree.symbol.name)
+              tree
             case _ =>
               if (ctx.mode is Mode.Type) adaptType(tree.tpe)
               else adaptNoArgs(wtp)

tests/pos/i9828.scala

@@ -0,0 +1,8 @@
+
+
+
+extension (x: Int) inline def g (y: Int): Int = x + y
+extension [S](f: S => Int) inline def f(s: String) = "test"
+val z = 1.g(2)
+def testStuff =  ((s: String) => 42).f("foo")
+