Skip to content

Adopt jspecify + NullAway null-checking on fdb-record-layer-icu - #4578

Draft
arnaud-lacurie wants to merge 1 commit into
apple/arnaud-lacurie/jspecify-nullaway/test-utilsfrom
apple/arnaud-lacurie/jspecify-nullaway/icu
Draft

Adopt jspecify + NullAway null-checking on fdb-record-layer-icu#4578
arnaud-lacurie wants to merge 1 commit into
apple/arnaud-lacurie/jspecify-nullaway/test-utilsfrom
apple/arnaud-lacurie/jspecify-nullaway/icu

Conversation

@arnaud-lacurie

@arnaud-lacurie arnaud-lacurie commented Sep 7, 2026

Copy link
Copy Markdown
Collaborator

5th of a 14-PR stack adopting jspecify + NullAway null-checking, stacked on #4577 (fdb-test-utils). Same treatment applied to fdb-record-layer-icu. See inline comments for specific findings.

Adds jspecify plus NullAway (via net.ltgt.errorprone), scoped to this
module only, following the same pattern as fdb-relational-grpc and
fdb-relational-jdbc. com.apple.foundationdb.record.icu is marked
@NullMarked; the module's only two javax.annotation.Nonnull usages are
removed (non-null is now the default under @NullMarked). No
javax.annotation.Nullable usages existed in this tiny module, and
NullAway surfaced no undocumented nullability or latent bugs.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build improvement Improvement to the build system

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant