IntelliJ и Eclipse расходятся во мнениях по поводу нулевых аннотаций через несколько интерфейсов. Является ли один «более правильным» или это ошибка плохой аннотации в API?

У меня возникла проблема с нулевым анализом при компиляции GriefPrevention в Eclipse. Например, строка 304 в PlayerEventHandler.java вызывает Player#getLocation(). Спецификацию API для этого класса можно найти здесь.

Проблема в том, что этот класс наследует интерфейсы Entity и OfflinePlayer, которые имеют конфликтующие аннотации.

Для Entity getLocation() определяется как NonNull:

@NotNull
Location getLocation();

Но для OfflinePlayer он определяется как Nullable:

/**
 * Gets the player's current location.
 *
 * @return the player's location, {@code null} if player hasn't ever played
 * before.
 */
@Nullable
public Location getLocation();

По моему мнению, в этой ситуации наименее разрешительная аннотация (Nullable) должна иметь приоритет. Однако IntelliJ с этим не согласен. Это создаёт проблему, поскольку я не могу скомпилировать этот код с помощью Eclipse, не отключив нулевые аннотации, что нежелательно, а разработчик, использующий IntelliJ, уверяет, что это не проблема (согласно его IDE).

Является ли интерпретация IntelliJ или Eclipse «более правильной» или результат неоднозначен, учитывая противоречивую аннотацию в спецификации API?

При тестировании такого рода неоднозначного наследования IntelliJ позволяет @NotNull без каких-либо предупреждений или ошибок, но @Nullable выдает предупреждение:

import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;

public class Main {
    interface ITestNotNull {
        @NotNull
        Object ambiguous();
    }

    interface ITestNullable {
        @Nullable
        Object ambiguous();
    }

    static class ITest implements ITestNullable, ITestNotNull {
        @Override
        // Method annotated with @Nullable must not override @NotNull method
        public @Nullable Object ambiguous() {
            return new Object();
        }
    }

    public static void main(String[] args) {
        ITest a = new ITest();

        System.out.println(a.ambiguous());
    }
}

В Eclipse верно обратное, однако вместо этого я получаю ошибку компилятора:

import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.jdt.annotation.Nullable;

public class Main {
    interface ITestNotNull {
        @NonNull
        Object ambiguous();
    }

    interface ITestNullable {
        @Nullable
        Object ambiguous();
    }

    static class ITest implements ITestNullable, ITestNotNull {
        @Override
        // The return type is incompatible with '@NonNull Object' returned from
        // Main.ITestNotNull.ambiguous() (mismatching null constraints)
        public @Nullable Object ambiguous() {
            return new Object();
        }
    }

    public static void main(String[] args) {
        ITest a = new ITest();

        System.out.println(a.ambiguous());
    }
}

ОБНОВЛЯТЬ

При дальнейшем рассмотрении и анализе проблемы выяснилось, что проблема, с которой я столкнулся, связана с ошибкой в ​​Eclipse. Реализация @NonNull в IntelliJ кажется правильной. Независимо от неоднозначности, он удовлетворяет обеим возможным реализациям.

https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2308

Мой первоначальный отчет основывался на ложной предпосылке, что поведение аннотаций при импорте jar было правильным, а собственная реализация на уровне исходного кода была неправильной. Верно обратное. В реализации на уровне исходного кода нет ничего плохого; эту ошибку можно продемонстрировать только при импорте файла jar (см. отчет об ошибках git).

Вот очень простой пример, демонстрирующий реальную ошибку:

import java.util.Objects;

import org.bukkit.Bukkit;
import org.bukkit.OfflinePlayer;
import org.bukkit.entity.Player;
import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.jdt.annotation.Nullable;

public class Main {
   public static void main(String[] args) {
      @Nullable Object nullableObject;
      @NonNull Object nonNullObject;
      
      Player player = Objects.requireNonNull(Bukkit.getPlayer(""));

      /* Null annotation error *WRONGLY* derives the @Nullable implementation
         when choosing between the two conflicting interfaces */
      
      // Unexpected inverse @Nullable implementation is derived
      // nonNullObject = player.getLocation();
      //                 ^^^^^^^^^^^^^^^^^^^^ Error: Null type mismatch
      
      // This is the expected @NonNull interface implementation
      nonNullObject = ((Entity)player).getLocation();
      
      // This would be a NPE if Player was actually implementing @Nullable!
      nullableObject = ((OfflinePlayer)player).getLocation();
   }
}

Библиотека jar Spigot API с исходным кодом:
spigot-api-1.20.4-R0.1-20240407.022953-115.jar
spigot-api-1.20.4-R0.1-20240407.022953-115-sources.jar

Внешние аннотации Eclipse (EEA) для Spigot API
spigot-api-eea.zip