Clarifications and small fixes for checking JSpecify @Nullable annotation#859

Merged

msridhar merged 3 commits intouber:masterfrom msridhar:clarify_jspecify_nullable

Nov 15, 2023

+34-7

Commits on Nov 15, 2023