Java代码中方法签名后禁止括号

在我最近的项目中,我遇到了编译得非常好的代码,但是这对于任何读者来说都是非常令人惊讶的,并且不应该通过静态分析。

class BracketsAfterMethodSignature {
  Object emptyArray()[] {
    return new Object[]{};
  }
}

我们使用Checkstyle、PMD、ErrorLoven和SonarLint,但这些工具都不会抱怨这种构造。是否有任何可以启用的规则或可用于防止此类代码的工具?

显然是格子风格的 ArrayTypeStyle

编辑

我在一个文件上运行静态分析 .groovy 分机和声纳说这个代码没问题。将扩展名更改为.java后,它检测到了问题。事实上,在更新到8.18之后,Checkstyle也能正确地发现它。