Add Expr.matches

Author: nicolasstucki

library/src/scala/quoted/Expr.scala

@@ -19,6 +19,17 @@ package quoted {
      */
     final def getValue[U >: T](given qctx: QuoteContext, valueOf: ValueOfExpr[U]): Option[U] = valueOf(this)
 
+    /** Pattern matches `this` against `that`. Effectively performing a deep equality check.
+     *  It does the equivalent of
+     *  ```
+     *  this match
+     *    case '{...} => true // where the contens of the pattern are the contents of `that`
+     *    case _ => false
+     *  ```
+     */
+    final def matches(that: Expr[Any])(given qctx: QuoteContext): Boolean =
+      !scala.internal.quoted.Expr.unapply[Unit, Unit](this)(given that, false, qctx).isEmpty
+
   }
 
   object Expr {

tests/run-staging/expr-matches.scala

@@ -0,0 +1,13 @@
+import scala.quoted._
+import scala.quoted.staging._
+
+
+object Test {
+  given Toolbox = Toolbox.make(getClass.getClassLoader)
+  def main(args: Array[String]): Unit = withQuoteContext {
+    assert('{1} matches '{1})
+    assert('{println("foo")} matches '{println("foo")})
+    assert('{println("foo")} matches '{println(${Expr("foo")})})
+    assert('{println(Some("foo"))} matches '{println(${ val a = '{Some("foo")}; a})})
+  }
+}