Intellij IDEA Contract 误报语法错误

Question

尽管我做对了（我认为），但我还是遇到了错误

@Contract("!null -> !null, _, _, _; null -> null, _, _, _")
public <T> T deserialize(@Nullable final Object object, @Nullable final GenericDeclaration genericSource, @NotNull final Class<T> targetClass, @Nullable final GenericDeclaration genericTarget) {

基本上，我正在尝试创建一个合同，如果第一个参数为 null returns null，否则不为 null。但我不想在合同中添加其他参数，或者只是用 _ 键忽略它。

Intellij IDEA 版本为2021.1.2(最新发布)

它抱怨 return 值，我不知道为什么？

yellow error

Answer 1

@Contract("!null, _, _, _ -> !null; null, _, _, _ -> null");

我猜。参数列表 -> 结果 ; ... 参见 Syntax。

Intellij IDEA Contract 误报语法错误

Intellij IDEA Contract false-positive syntax error

java

intellij-idea

contract