scala - 强制执行 void 特征初始化的注释

Question

关于 Scala 中的特征初始化顺序有很多问题。我想用注释标记一个特征，说明该特征没有初始化代码，因此可以在不打扰初始化顺序的情况下使用。

像这样的东西：

@noinit
trait Funcs[A] {
  val a : A
  def b() : A
  def c(x : A)
}

traitFuncs只是声明了一些值和函数，不需要初始化代码

如何实现描述的功能？