[seer-zig]

There are solutions like CheckerFramework or Nullaway or other compile time annotation processors.

[cies]

...and Kotlin :)