Allow CartesianIndices with Bool argument (#39962)

Follow up to the problem discussed in #31829 (comment).

I came to the conclusion that `CartesianIndices((true,))` should be allowed as in this context `true` represents a dimension length not an index.

Author: bkamins

base/multidimensional.jl

@@ -278,6 +278,7 @@ module IteratorsMD
 
     CartesianIndices(A::AbstractArray) = CartesianIndices(axes(A))
 
+    _convert2ind(sz::Bool) = Base.OneTo(Int(sz))
     _convert2ind(sz::Integer) = Base.OneTo(sz)
     _convert2ind(sz::AbstractUnitRange) = first(sz):last(sz)
     _convert2ind(sz::OrdinalRange) = first(sz):step(sz):last(sz)

test/cartesian.jl

@@ -409,3 +409,10 @@ end
 # issue #39705
 f39705() = Base.Cartesian.@nany 0 _ -> true
 @test f39705() === false
+
+@testset "CartesianIndices with Bool" begin
+    @test @inferred(CartesianIndices((true,))) == CartesianIndices((1,))
+    @test @inferred(CartesianIndices((false,))) == CartesianIndices((0,))
+    @test @inferred(CartesianIndices((true, false))) == CartesianIndices((1, 0))
+    @test @inferred(CartesianIndices((false, true))) == CartesianIndices((0, 1))
+end