more tests

Author: aherlihy

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

@@ -115,7 +115,7 @@ object TypeEval:
             val fieldTypesOpt = tupleElementTypes(arg)
             fieldTypesOpt match
               case Some(fieldTypes) =>
-                val fieldLabels = (for i <- 1 to fieldTypes.length yield ConstantType(Constant(s"_$i")))).toList
+                val fieldLabels = (for i <- 1 to fieldTypes.length yield ConstantType(Constant(s"_$i"))).toList
                 Some:
                   defn.NamedTupleTypeRef.appliedTo:
                     nestedPairs(fieldLabels) :: nestedPairs(fieldTypes) :: Nil

tests/pos/i22036.scala

@@ -11,3 +11,16 @@ val res2 = x2._1
 
 val x3: Foo[NamedTuple.From[Tuple.Map[(Int, Int), Foo]]]  = ???
 val res3 = x3._1
+
+def foo[T <: (Int, String)](tup: T): Int =
+  tup._1
+
+def union[T](tup: (Int, String)
+|(Int, String)
+): Int =
+  tup._1
+
+def intersect[T](tup: (Int, String)
+& T
+): Int =
+  tup._1