SAL注释是否必须重复定义和声明？

Question

我正在用SAL注释标记一些代码。

如果仅注释声明，则会收到有关注释不一致的警告。我们真的要向两个都添加注释吗？

编译器不能仅仅假设声明的定义具有声明的注释吗？