Migrate from Checker Framework annotations to JSpecify.#471

copybara-service[bot] merged 1 commit intomaingoogle/compile-testing:mainfrom

test_main_704250442google/compile-testing:test_main_704250442Copy head branch name to clipboard