macro-values-compile-time.scala

object code:
    import scala.quoted.*

    trait Context[T]:
        val t: Int

    given Context[Int] with
        val t = 7

    transparent inline def aMacro[T]: Int = ${ aMacroImpl[T] }

    def aMacroImpl[T](using Type[T], Quotes): Expr[Int] =
        import quotes.reflect.*
        val tterm = Expr.summon[Context[T]].get.asTerm
        val t = Select.unique(tterm, "t").asExprOf[Int].value
        // would like 't' to be Some(integer) but is None
        println(s"t= $t")
        Expr(t.getOrElse(0))