fn cond_reset_id<'tcx>( ecx: &mut MiriInterpCx<'tcx>, cond_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, ()>