Stemming from PR #4033. We can look into perhaps generating JSpecify annotations in the generated code. e.g. for things that we know that are null nor not we can pre-generate something.