Recurse through blocks in inlineCall

Author: mbovel

compiler/src/dotty/tools/dotc/inlines/Inlines.scala

@@ -113,6 +113,12 @@ object Inlines:
 
     if tree.symbol.isConstructor then return tree // error already reported for the inline constructor definition
 
+    tree match
+      case Block(bindings, expr) =>
+        return cpy.Block(tree)(bindings, inlineCall(expr))
+      case _ =>
+        ()
+
     /** Set the position of all trees logically contained in the expansion of
      *  inlined call `call` to the position of `call`. This transform is necessary
      *  when lifting bindings from the expansion to the outside of the call.

tests/neg/i18123b.check

@@ -0,0 +1,9 @@
+-- [E007] Type Mismatch Error: tests/neg/i18123b.scala:8:8 -------------------------------------------------------------
+8 |def z = y.rep().toUpperCase // error
+  |        ^^^^^^^
+  |        Found:    (??? : => Nothing)
+  |        Required: ?{ toUpperCase: ? }
+  |        Note that implicit conversions were not tried because the result of an implicit conversion
+  |        must be more specific than ?{ toUpperCase: <?> }
+  |
+  | longer explanation available when compiling with `-explain`

tests/neg/i18123b.scala

@@ -0,0 +1,8 @@
+// Minimized version of `tests/pos/i18123.scala` to test #24425.
+
+extension (x: String)
+  transparent inline def rep(min: Int = 0): String = ???
+
+def y: String = ???
+
+def z = y.rep().toUpperCase // error