pub fn check_failed_false(v: bool, ctx: &Detail_CheckContext) -> Result<()>