IDE に推論されているアノテーション (@Nullable@NotNull@Contract) を明示的にユーザーのコードに追加します。 org.jetbrains:annotations パッケージへの依存関係を必要とする場合があります。