Fix inline-i2570.scala by removing special treatment of InfixOpBlock

Author: OlivierBlanvillain

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

@@ -621,13 +621,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
 
   def typedBlock(tree: untpd.Block, pt: Type)(implicit ctx: Context) = track("typedBlock") {
     val (exprCtx, stats1) = typedBlockStats(tree.stats)
-    val ept =
-      if (tree.isInstanceOf[untpd.InfixOpBlock])
-        // Right-binding infix operations are expanded to InfixBlocks, which may be followed by arguments.
-        // Example: `(a /: bs)(op)` expands to `{ val x = a; bs./:(x) } (op)` where `{...}` is an InfixBlock.
-        pt
-      else pt.notApplied
-    val expr1 = typedExpr(tree.expr, ept)(exprCtx)
+    val expr1 = typedExpr(tree.expr, pt.notApplied)(exprCtx)
     ensureNoLocalRefs(
       cpy.Block(tree)(stats1, expr1).withType(expr1.tpe), pt, localSyms(stats1))
   }

tests/pos/inline-i2570.scala

@@ -0,0 +1,4 @@
+object Test {
+  inline def sum2(ys: List[Int]): Int = (1 /: ys)(_ + _)
+  val h1: ((List[Int]) => Int) = sum2
+}