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