Fix #5271: Use typed elements

Author: nicolasstucki

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

@@ -1794,14 +1794,13 @@ class Typer extends Namer
 
   /** Translate tuples of all arities */
   def typedTuple(tree: untpd.Tuple, pt: Type)(implicit ctx: Context): Tree = {
-    val elems = tree.trees
-    val arity = elems.length
+    val arity = tree.trees.length
     if (arity <= Definitions.MaxTupleArity)
       typed(desugar.smallTuple(tree).withPos(tree.pos), pt)
     else {
       val pts =
         if (arity == pt.tupleArity) pt.tupleElementTypes
-        else elems.map(_ => defn.AnyType)
+        else List.fill(arity)(defn.AnyType)
       val elems1 = (tree.trees, pts).zipped.map(typed(_, _))
       if (ctx.mode.is(Mode.Type))
         (elems1 :\ (TypeTree(defn.UnitType): Tree))((elemTpt, elemTpts) =>
@@ -1814,7 +1813,7 @@ class Typer extends Namer
         val app1 = typed(app, defn.TupleXXLType)
         if (ctx.mode.is(Mode.Pattern)) app1
         else {
-          val elemTpes = (elems, pts).zipped.map((elem, pt) =>
+          val elemTpes = (elems1, pts).zipped.map((elem, pt) =>
             ctx.typeComparer.widenInferred(elem.tpe, pt))
           val resTpe = (elemTpes :\ (defn.UnitType: Type))(defn.PairType.appliedTo(_, _))
           app1.asInstance(resTpe)

tests/pos/i5271.scala

@@ -0,0 +1,6 @@
+class Foo {
+  def foo: Unit = {
+    val (_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _) =
+      (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, List(2, 1), 22, 23)
+  }
+}