Merge pull request #20989 from Sacha0/nixcheckindsambigs

resolve ambiguities between checkbounds_indices methods

Author: timholy

base/multidimensional.jl

@@ -258,8 +258,8 @@ end
         I::Tuple{AbstractArray{CartesianIndex{0}},Vararg{Any}})
     checkbounds_indices(Bool, IA, tail(I))
 end
-@inline function checkbounds_indices(::Type{Bool}, IA::Tuple{Any},
-        I::Tuple{<:AbstractArray{<:CartesianIndex},Vararg{Any}})
+@inline function checkbounds_indices{N}(::Type{Bool}, IA::Tuple{Any},
+        I::Tuple{AbstractArray{CartesianIndex{N}},Vararg{Any}})
     checkindex(Bool, IA, I[1]) & checkbounds_indices(Bool, (), tail(I))
 end
 @inline function checkbounds_indices{N}(::Type{Bool}, IA::Tuple,

test/abstractarray.jl

@@ -836,3 +836,7 @@ end
 @testset "dispatch loop introduced in #19305" begin
     @test [(1:2) zeros(2,2); ones(3,3)] == [[1,2] zeros(2,2); ones(3,3)] == [reshape([1,2],2,1) zeros(2,2); ones(3,3)]
 end
+
+@testset "checkbounds_indices method ambiguities #20989" begin
+    @test Base.checkbounds_indices(Bool, (1:1,), ([CartesianIndex(1)],))
+end