メソッドの @Contract アノテーションの問題を報告します。 以下の種類の問題が報告されます。

例:


  // メソッドにパラメーターがないのに、契約が 1 つを要求している
  @Contract("_ -> fail")
  void x() {
    throw new AssertionError();
  }