import scala.language.experimental.macros
import scala.reflect.macros.whitebox



private[foo] class Macros(val c: whitebox.Context) {
    import c.universe._
    def xyzLiteral(s1: c.Expr[String], s2: c.Expr[String]): Tree =
      (s1.tree, s2.tree) match {
        case (Literal(Constant(s1: String)), Literal(Constant(s2: String))) =>
            if (s1 == s2) c.abort(c.enclosingPosition, "Strings Match")
            else  q"_root_.constructor.method($s1, $s2)"
        case _ =>
          c.abort(
            c.enclosingPosition,
            s"This method uses a macro to verify all strings are unique, use XYZ to get dynamic behavior"
          )
      }
  }

def apply(s1: String, s2: String): constructedType = macro Macros.xyzLiteral