Combine conditions for TypeApply in isSyntheticApply

KacperFKorban · odersky · Kordyjan · commit 6a7a9fa0f0f6 · 2022-09-15T16:41:38.000+02:00
Co-authored-by: odersky &lt;odersky@gmail.com&gt;
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -105,7 +105,7 @@ object Typer {
    */
   private[typer] def isSyntheticApply(tree: tpd.Tree): Boolean = tree match {
     case tree: tpd.Select => tree.hasAttachment(InsertedApply)
-    case TypeApply(fn, targs) if targs.forall(_.isInstanceOf[tpd.InferredTypeTree]) => isSyntheticApply(fn)
+    case TypeApply(fn, targs) => isSyntheticApply(fn) && targs.forall(_.isInstanceOf[tpd.InferredTypeTree])
     case _ => false
   }
 

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ object Typer {`
`105`	`105`	`*/`
`106`	`106`	`private[typer] def isSyntheticApply(tree: tpd.Tree): Boolean = tree match {`
`107`	`107`	`case tree: tpd.Select => tree.hasAttachment(InsertedApply)`
`108`		`- case TypeApply(fn, targs) if targs.forall(_.isInstanceOf[tpd.InferredTypeTree]) => isSyntheticApply(fn)`
	`108`	`+ case TypeApply(fn, targs) => isSyntheticApply(fn) && targs.forall(_.isInstanceOf[tpd.InferredTypeTree])`
`109`	`109`	`case _ => false`
`110`	`110`	`}`
`111`	`111`