Почему не выдается ошибка, когда я делаю аннотацию поля NonNull и присваиваю ей значение null ⇐ JAVA

[Anonymous]

Я использую nullaway и jspecify в веб-приложении Spring. Мой код похож на приведенный ниже

Код: Выделить всё

import org.jspecify.annotations.NonNull;
import org.jspecify.annotations.NullUnmarked;

@NullUnmarked
public class Foo {
@NonNull
private Bar bar;

public void method() {
bar = null;
}
}

Я ожидаю, что nullaway может вызвать ошибку 'bar = null' при построении кода. Но nullaway не выдает ошибку или предупреждение. Я не могу понять почему.


Подробнее здесь: https://stackoverflow.com/questions/798 ... -and-assig