See #45389 Before 4.0.0 GA we should consider if such an annotation is necessary or if we should use JSpecify annotations instead.