有什么方法可以让我使用JCIP或JSR-305注释（例如 @GuardedBy）静态分析 Scala 代码的锁定/同步问题。
在检查 Java 代码时，FindBugs 和 IntelliJ IDEA 都对这些注释提供了出色的支持，但我没有太多运气让它们与 Scala 代码一起工作。当我尝试在我的 Scala 代码中应用这些注释时，代码编译得很好，但是这两个工具都无法在故意错误的程序中标记违规行为。
我知道 FindBugs 分析 JVM 字节码，所以在 Scala 中应用时，注释可能没有编译为预期的输出。