pub fn check_failed_auto_5( v1: Size_<i32>, v2: Size_<i32>, ctx: &impl Detail_CheckContextTraitConst, ) -> Result<()>