Revert "workaround scala#14626"

Martin's fix removes the need for this workaround

This reverts commit 36e0c29.

Author: griggt

compiler/src/dotty/tools/dotc/core/Denotations.scala

@@ -517,7 +517,7 @@ object Denotations {
     *  otherwise generate new synthetic names.
     */
   private def mergeParamNames(tp1: LambdaType, tp2: LambdaType): List[tp1.ThisName] =
-    (for case (name1, name2, idx) <- tp1.paramNames.lazyZip(tp2.paramNames).lazyZip(tp1.paramNames.indices)
+    (for ((name1, name2, idx) <- tp1.paramNames.lazyZip(tp2.paramNames).lazyZip(tp1.paramNames.indices))
       yield if (name1 == name2) name1 else tp1.companion.syntheticParamName(idx)).toList
 
   /** Normally, `tp1 & tp2`, with extra care taken to return `tp1` or `tp2` directly if that's

compiler/src/dotty/tools/dotc/core/Symbols.scala

@@ -752,7 +752,7 @@ object Symbols {
     }
     val tparams = tparamBuf.toList
     val bounds = boundsFn(trefBuf.toList)
-    for case (tparam, bound) <- tparams.lazyZip(bounds) do
+    for (tparam, bound) <- tparams.lazyZip(bounds) do
       tparam.info = bound
     tparams
   }

compiler/src/dotty/tools/dotc/transform/Splicer.scala

@@ -309,7 +309,7 @@ object Splicer {
       def interpretArgsGroup(args: List[Tree], argTypes: List[Type]): List[Object] =
         assert(args.size == argTypes.size)
         val view =
-          for case (arg, info) <- args.lazyZip(argTypes) yield
+          for (arg, info) <- args.lazyZip(argTypes) yield
             info match
               case _: ExprType => () => interpretTree(arg) // by-name argument
               case _ => interpretTree(arg) // by-value argument

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

@@ -141,7 +141,7 @@ object RefChecks {
         if parentCls.is(Trait) then
           val params = parentCls.asClass.paramGetters
           val args = termArgss(app).flatten
-          for case (param, arg) <- params.lazyZip(args) do
+          for (param, arg) <- params.lazyZip(args) do
             if !param.is(Private) then // its type can be narrowed through intersection -> a check is needed
               val paramType = cls.thisType.memberInfo(param)
               if !(arg.tpe <:< paramType) then