fn cond_get_id<'mir, 'tcx: 'mir>(
    ecx: &MiriEvalContext<'mir, 'tcx>,
    cond_op: &OpTy<'tcx, Tag>
) -> InterpResult<'tcx, ScalarMaybeUninit<Tag>>