Add neg test for GenLens

Author: liufengyun

tests/neg-with-compiler/i5941/macro_1.scala

@@ -0,0 +1,55 @@
+abstract class Lens[S, T] {
+  def get(s: S): T
+  def set(t: T, s: S) :S
+}
+
+import scala.quoted._
+import scala.tasty._
+
+object Lens {
+  def apply[S, T](_get: S => T)(_set: T => S => S): Lens[S, T] = new Lens {
+    def get(s: S): T = _get(s)
+    def set(t: T, s: S): S = _set(t)(s)
+  }
+
+  def impl[S: Type, T: Type](getter: Expr[S => T])(implicit refl: Reflection): Expr[Lens[S, T]] = {
+    import refl._
+    import util._
+    import quoted.Toolbox.Default._
+
+    // obj.copy(field = value)
+    def setterBody(obj: Expr[S], value: Expr[T], field: String): Expr[S] =
+      Term.Select.overloaded(obj.unseal, "copy", Nil, Term.NamedArg(field, value.unseal) :: Nil).seal[S]
+
+    // exception: getter.unseal.underlyingArgument
+    getter.unseal match {
+      case Term.Inlined(
+        None, Nil,
+        Term.Block(
+          DefDef(_, Nil, (param :: Nil) :: Nil, _, Some(Term.Select(o, field))) :: Nil,
+          Term.Lambda(meth, _)
+        )
+      ) if o.symbol == param.symbol =>
+        '{
+          val setter = (t: T) => (s: S) => ~setterBody('(s), '(t), field)
+          apply(~getter)(setter)
+        }
+      case _ =>
+        throw new QuoteError("Unsupported syntax. Example: `GenLens[Address](_.streetNumber)`")
+    }
+  }
+}
+
+object GenLens {
+  /** case class Address(streetNumber: Int, streetName: String)
+   *
+   *  GenLens[Address](_.streetNumber)   ~~>
+   *
+   *  Lens[Address, Int](_.streetNumber)(n => a => a.copy(streetNumber = n))
+   */
+
+  def apply[S] = new MkGenLens[S]
+  class MkGenLens[S] {
+    inline def apply[T](get: => (S => T)): Lens[S, T] = ~Lens.impl('(get))
+  }
+}

tests/neg-with-compiler/i5941/usage_2.scala

@@ -0,0 +1,11 @@
+case class Address(streetNumber: Int, streetName: String)
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val len = GenLens[Address](_.streetNumber + 3) // error
+    val address = Address(10, "High Street")
+    assert(len.get(address) == 10)
+    val addr2 = len.set(5, address)
+    assert(len.get(addr2) == 5)
+  }
+}