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 返回 null，否则不是 null。 但我不想在合同中添加其他参数，或者只是用_键忽略它。

Intellij IDEA 版本为 2021.1.2（最新版本）

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

黄色错误

Answer 1

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

我猜。 参数列表->结果； ...见语法。