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