Fix isTupleNType, which is documented to act on the dealiased type

Author: dwijnand

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

@@ -1489,10 +1489,11 @@ class Definitions {
    * @return true if the dealiased type of `tp` is `TupleN[T1, T2, ..., Tn]`
    */
   def isTupleNType(tp: Type)(using Context): Boolean = {
-    val arity = tp.dealias.argInfos.length
+    val tp1 = tp.dealias
+    val arity = tp1.argInfos.length
     arity <= MaxTupleArity && {
       val tupletp = TupleType(arity)
-      tupletp != null && tp.isRef(tupletp.symbol)
+      tupletp != null && tp1.isRef(tupletp.symbol)
     }
   }
 

tests/run/i14587.opaques.scala

@@ -0,0 +1,8 @@
+object Test:
+  opaque type Tup = (Int, String)
+
+  def test(tup: Tup) =
+    val (n, s) = tup
+    assert(n == 1 && s == "")
+
+  def main(args: Array[String]): Unit = test((1, ""))