[base] Factor out remaining differences between UnapplyExprs

Author: rayrobdod

Base/src/main/scala-2/VersionSpecificUnapplyExpr.scala

@@ -1,13 +1,14 @@
 package name.rayrobdod.stringContextParserCombinator
 package typeclass
 
+import scala.annotation.nowarn
 import scala.quoted.*
 
 // scala 2 reads the `'{Some($value}` as an unclosed character literal
 // and ifdef is insufficient to hide that construct from the scala 2 compiler
 
 private[typeclass]
-final class ExprsForQuotes extends Exprs[scala.quoted.Quotes, scala.quoted.Expr] {
+final class ExprsForQuotes extends Exprs[scala.quoted.Quotes, scala.quoted.Expr, TypeCreator] {
 	override def constBoolean(b: Boolean)(implicit ctx: Quotes): Expr[Boolean] = {
 		implicit val quotes = ctx
 		Expr(b)
@@ -23,4 +24,9 @@ final class ExprsForQuotes extends Exprs[scala.quoted.Quotes, scala.quoted.Expr]
 			case _ => '{$left && $right}
 		}
 	}
+
+	override def isEqualTo[A](left: Expr[A], right: Expr[A])(implicit ctx: Quotes, typA: TypeCreator[A]): Expr[Boolean] = {
+		@nowarn("msg=unused local definition") implicit val typ: Type[A] = summon[TypeCreator[A]].createType
+		'{$left == $right}
+	}
 }

Base/src/main/scala-3/VersionSpecificUnapplyExpr.scala

@@ -22,8 +22,8 @@ object PartialExprFunction {
 	}
 
 	private[stringContextParserCombinator]
-	def identity[Ctx, Expr[+_], A](
-		implicit backing: Exprs[Ctx, Expr]
+	def identity[Ctx, Expr[+_], Type[_], A](
+		implicit backing: Exprs[Ctx, Expr, Type]
 	):PartialExprFunction[Ctx, Expr, A, A] = {
 		new PartialExprFunction[Ctx, Expr, A, A] {
 			override def isDefinedAt(a:A)(implicit ctx: Ctx):Expr[Boolean] = backing.constTrue