pub fn check_failed_auto_2( v1: size_t, v2: size_t, ctx: &impl Detail_CheckContextTraitConst, ) -> Result<()>