Merge pull request #6780 from dotty-staging/fix-#6734

Fix #6734: Suppress interpolation for extension methods

Author: odersky

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

@@ -2206,7 +2206,11 @@ class Typer extends Namer
 
   /** Interpolate and simplify the type of the given tree. */
   protected def simplify(tree: Tree, pt: Type, locked: TypeVars)(implicit ctx: Context): tree.type = {
-    if (!tree.denot.isOverloaded) // for overloaded trees: resolve overloading before simplifying
+    if (!tree.denot.isOverloaded &&
+          // for overloaded trees: resolve overloading before simplifying
+        !tree.isInstanceOf[Applications.IntegratedTypeArgs]
+          // don't interpolate in the middle of an extension method application
+       )
       if (!tree.tpe.widen.isInstanceOf[MethodOrPoly] // wait with simplifying until method is fully applied
           || tree.isDef)                             // ... unless tree is a definition
       {

tests/pos/i6734.scala

@@ -0,0 +1,11 @@
+object Bug {
+
+  def (ab: (A, B)) pipe2[A, B, Z](f: (A, B) => Z): Z = f(ab._1, ab._2)
+
+  def (a: A) leftErr[A, B](b: B): A = (a, b).pipe2((a, b) => a) //Did not compile before.
+  def (a: A) leftOk1[A, B](b: B): A = Tuple2(a, b).pipe2((a, b) => a) //Compiles
+  def (a: A) leftOk2[A, B](b: B): A = {
+    val t = (a, b)
+    t.pipe2((a, b) => a) //Compiles
+  }
+}