Fix scala#7987: Add minimization

Author: biboudis

tests/run-macros/i7987/Macros_1.scala

@@ -0,0 +1,12 @@
+import scala.quoted._
+import scala.deriving._
+import scala.quoted.matching._
+
+object Macros {
+  inline def m(): Unit = ${ macroImpl() }
+
+  def macroImpl[T]()(given qctx: QuoteContext): Expr[Unit] = {
+    summonExpr[Mirror.Of[Some[Int]]]
+    '{()}
+  }
+}

tests/run-macros/i7987/Test_2.scala

@@ -0,0 +1,3 @@
+@main def Test() = {
+  println(Macros.m())
+}