使用scala类型宏从case类访问伴生对象（反之亦然）

我试图基于case类的字段在一个伴生对象上创建一个值

我想这样做：

case class A(
  val a: Int,
  val b: String
) extends MyTypeMacro

我想为它添加一个值，为它的伴生对象添加一个值

object A { 
  //Generate...
  val c: B = //Code value derived from case class fields...
}

因为伴生对象和类可以相互访问，所以不应该 我可以通过从case类类型宏中访问伴随对象来实现这一点吗

---

还有。。。无论对象A是否定义，我都想添加“val c”。

不幸的是，这还不可能。我们正在按照这些思路玩一些东西，但这是非常早期的阶段，所以我不能说任何确定的东西。

有链接、实验、分叉吗？