diff --git a/framework-docs/modules/ROOT/pages/core/null-safety.adoc b/framework-docs/modules/ROOT/pages/core/null-safety.adoc index 5264259da13..0570259fcdf 100644 --- a/framework-docs/modules/ROOT/pages/core/null-safety.adoc +++ b/framework-docs/modules/ROOT/pages/core/null-safety.adoc @@ -43,7 +43,7 @@ The purpose of this section is to share some guidelines proposed for specifying libraries or applications. -[[null-safety-guidelines-jpecify]] +[[null-safety-guidelines-jspecify]] === JSpecify The key points to understand is that by default, the nullness of types is unknown in Java, and that non-null type