[BUG] Possible SIMD[DType.bool, n] tested for truth in the stdlib where n > 1 about mojo

[soraros]

@laszlokindrat Another problem related to #2860.

In this function, Mojo is trying construct a SIMD[DType.uint64, n] from a Boolable value self.mem.

    fn test[n: Int](self) -> SIMD[DType.uint64, n]:
        return self.mem

You should write it as

    fn test[n: Int](self) -> SIMD[DType.uint64, n]:
        return rebind[SIMD[DType.uint64, n]](self.mem)

That said, if n != m, it won't compile anyway.

[lbartworks]

I think this shows as well the same issue:

def main():

    var mask=SIMD[DType.bool,8](True, False, False, True, True, True, True, True)
    var mask2=SIMD[DType.bool,8](False, False, False, True, True, True, True, True)

    #works
    print (mask.__and__( mask2))
    
    #does not work
    #print (mask and mask2)

[soraros]

It's intentional that m1 and m2 won't work if their size are larger than 1. Should have written

print(all(mask) and all(mask2))

[lbartworks]

No if you want a vectorized AND. In fact, this works vectorized (ie size > 1):

print (mask.and( mask2))

[soraros]

Exactly, the vectorized and is a different thing from and, the operator form is mask & mask2. and doesn't work by design.