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