是否有任何static code analyzer可用于在Scala中强制执行Type Annotation。例如，当开发人员编写没有类型注释的语句时，如下例所示，他应该得到编译时错误
val name="sometime" //This should throw compile time error
这是我期望开发人员写的，
val name: String = "somename" // Type annotation 'String' explicitly specified
我能够使用sbt中的Scalastyle插件强制执行一些好的做法（如果未遵循为ScalastylePlugin指定的任何规则，则会抛出编译时错误）。但我可以找到任何强制类型注释的规则
PS：Scalastyle确实提供了创建CustomRules的条款（通过扩展类ScalariformChecker）。但我只是在寻找一种避免开发自定义代码的方法