JSpecify annotations have runtime retention, so expose them through the API variant as recommended by JSpecify.