Merge branch 'non-working-test-case'

Author: gorilskij

tests/pos/i8577/MacroA.scala

@@ -0,0 +1,12 @@
+package i8577
+
+import scala.quoted._
+
+object MacroA:
+  opaque type StringContext = scala.StringContext
+  def apply(ctx: scala.StringContext): StringContext = ctx
+  def unapply(ctx: StringContext): Option[scala.StringContext] = Some(ctx)
+
+def implUnapplyA(sc: Expr[MacroB.StringContext], input: Expr[Int])
+                   (using Quotes): Expr[Option[Seq[Int]]] =
+  '{ Some(Seq(${input})) }

tests/pos/i8577/MacroA_1.scala

@@ -0,0 +1,12 @@
+package i8577
+
+import scala.quoted._
+
+object MacroB:
+  opaque type StringContext = scala.StringContext
+  def apply(ctx: scala.StringContext): StringContext = ctx
+  def unapply(ctx: StringContext): Option[scala.StringContext] = Some(ctx)
+
+def implUnapplyB[U](sc: Expr[MacroB.StringContext], input: Expr[U])
+                   (using Type[U])(using Quotes): Expr[Option[Seq[U]]] =
+  '{ Some(Seq(${input})) }

tests/pos/i8577/MacroB_1.scala

@@ -0,0 +1,12 @@
+package i8577
+
+import scala.quoted._
+
+object MacroC:
+  opaque type StringContext = scala.StringContext
+  def apply(ctx: scala.StringContext): StringContext = ctx
+  def unapply(ctx: StringContext): Option[scala.StringContext] = Some(ctx)
+
+def implUnapplyC[T](sc: Expr[MacroC.StringContext], input: Expr[T])
+                   (using Type[T])(using Quotes): Expr[Option[Seq[T]]] =
+  '{ Some(Seq(${input})) }

tests/pos/i8577/MacroC_1.scala

@@ -0,0 +1,12 @@
+package i8577
+
+import scala.quoted._
+
+object MacroD:
+  opaque type StringContext = scala.StringContext
+  def apply(ctx: scala.StringContext): StringContext = ctx
+  def unapply(ctx: StringContext): Option[scala.StringContext] = Some(ctx)
+
+def implUnapplyD[T, U](sc: Expr[MacroD.StringContext], input: Expr[T])
+                   (using Type[T])(using Quotes): Expr[Option[Seq[T]]] =
+  '{ Some(Seq(${input})) }

tests/pos/i8577/MacroD_1.scala

@@ -0,0 +1,12 @@
+package i8577
+
+import scala.quoted._
+
+object MacroE:
+  opaque type StringContext = scala.StringContext
+  def apply(ctx: scala.StringContext): StringContext = ctx
+  def unapply(ctx: StringContext): Option[scala.StringContext] = Some(ctx)
+
+def implUnapplyE[T, U](sc: Expr[MacroE.StringContext], input: Expr[U])
+                      (using Type[U])(using Quotes): Expr[Option[Seq[U]]] =
+  '{ Some(Seq(${input})) }

tests/pos/i8577/MacroE_1.scala

@@ -0,0 +1,12 @@
+package i8577
+
+import scala.quoted._
+
+object MacroF:
+  opaque type StringContext = scala.StringContext
+  def apply(ctx: scala.StringContext): StringContext = ctx
+  def unapply(ctx: StringContext): Option[scala.StringContext] = Some(ctx)
+
+def implUnapplyF[T, U](sc: Expr[MacroF.StringContext], input: Expr[(T, U)])
+                      (using Type[T], Type[U])(using Quotes): Expr[Option[Seq[(T, U)]]] =
+  '{ Some(Seq(${input})) }

tests/pos/i8577/MacroF_1.scala

@@ -0,0 +1,12 @@
+package i8577
+
+import scala.quoted._
+
+object MacroG:
+  opaque type StringContext = scala.StringContext
+  def apply(ctx: scala.StringContext): StringContext = ctx
+  def unapply(ctx: StringContext): Option[scala.StringContext] = Some(ctx)
+
+def implUnapplyG[T, U](sc: Expr[MacroG.StringContext], input: Expr[T | U])
+                      (using Type[T], Type[U])(using Quotes): Expr[Option[Seq[T | U]]] =
+  '{ Some(Seq(${input})) }

tests/pos/i8577/MacroG_1.scala

@@ -2,34 +2,67 @@ package i8577
 
 def main: Unit = {
   {
-    1 match
-      case mac"$x" => x
-  }
-}
-
-
-
-
-
-
-
-
-
-
+    extension (ctx: StringContext) def macroA: MacroB.StringContext = MacroB(ctx)
+    extension (inline ctx: MacroB.StringContext) inline def unapplySeq(inline input: Int): Option[Seq[Int]] =
+      ${implUnapplyA('ctx, 'input)}
 
+    val macroA"$xA" = 1
+  }
 
+  {
+    extension (ctx: StringContext) def macroB: MacroB.StringContext = MacroB(ctx)
+    extension (inline ctx: MacroB.StringContext) inline def unapplySeq[U](inline input: U): Option[Seq[U]] =
+      ${ implUnapplyB('ctx, 'input) }
 
+    val macroB"$xB" = 2
+  }
 
+  {
+    extension (ctx: StringContext) def macroC: MacroC.StringContext = MacroC(ctx)
+    extension [T] (inline ctx: MacroC.StringContext) inline def unapplySeq(inline input: T): Option[Seq[T]] =
+      ${ implUnapplyC('ctx, 'input) }
 
+    // compiler error
+//    val macroC"$xC" = 3
+  }
 
+  {
+    extension (ctx: StringContext) def macroD: MacroD.StringContext = MacroD(ctx)
+    extension [T] (inline ctx: MacroD.StringContext) inline def unapplySeq[U](inline input: T): Option[Seq[T]] =
+      ${ implUnapplyD('ctx, 'input) }
 
+    // miscompilation
+//    val macroD"$xD" = 4
+  }
 
+  {
+    extension (ctx: StringContext) def macroE: MacroE.StringContext = MacroE(ctx)
+    extension [T] (inline ctx: MacroE.StringContext) inline def unapplySeq[U](inline input: U): Option[Seq[U]] =
+      ${ implUnapplyE('ctx, 'input) }
 
+    val macroE"$xE" = 5
+  }
 
+  {
+    extension (ctx: StringContext) def macroF: MacroF.StringContext = MacroF(ctx)
+    extension [T] (inline ctx: MacroF.StringContext) inline def unapplySeq[U](inline input: (T, U)): Option[Seq[(T, U)]] =
+      ${ implUnapplyF('ctx, 'input) }
 
+    val macroF"$xF" = (6, 7)
 
+    // miscompilation
+//    val macroF"$xF" = (6, "7")
+  }
 
+  {
+    extension (ctx: StringContext) def macroG: MacroG.StringContext = MacroG(ctx)
+    extension [T] (inline ctx: MacroG.StringContext) inline def unapplySeq[U](inline input: T | U): Option[Seq[T | U]] =
+      ${ implUnapplyG('ctx, 'input) }
 
+    // compiler error
+//    val macroG"$xG" = 8
+  }
+}
 
 //  {
 //    // B