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