Warum wird kein Fehler ausgegeben, wenn ich ein Feld mit einer NonNull-Annotation versehen und ihm Null zugewiesen habe? ⇐ Java

[Anonymous]

Ich verwende nullaway und jspecify in der Spring-Webanwendung. Mein Code sieht wie folgt aus

Code: Select all

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

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

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

Ich gehe davon aus, dass nullaway beim Erstellen des Codes einen Fehler bei „bar = null“ auslösen könnte. Aber nullaway gibt keinen Fehler oder keine Warnung aus. Ich kann nicht verstehen, warum.