Merge pull request #12444 from dotty-staging/fix-#11795

Add regression test

Author: liufengyun

tests/neg-macros/i11795.scala

@@ -0,0 +1,10 @@
+import scala.quoted._
+import scala.deriving._
+
+def blah[P <: Product]
+    (m: Mirror.ProductOf[P])
+    (using Quotes, Type[m.MirroredElemLabels], Type[m.MirroredElemTypes]) = {
+  type z = Tuple.Zip[m.MirroredElemLabels, m.MirroredElemTypes]
+  Type.of[z] // error
+  ()
+}

tests/pos-macros/i11795.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+import scala.deriving._
+
+def blah2[P <: Product, MEL <: Tuple: Type, MET <: Tuple: Type](m: Mirror.ProductOf[P] { type MirroredElemLabels = MEL; type MirroredElemTypes = MET})(using Quotes) = {
+  Type.of[Tuple.Zip[MEL, MET]]
+  ()
+}