Using these annotations/checkers should hopefully make it marginally harder to use the wrong input values in the API. PiperOrigin-RevId: 510966941
