whether `Core.checked_dims` decides to throw depends on dimension order (for empty arrays) about julia

[nsajko]

Affected code:

julia/base/boot.jl

Lines 553 to 587 in 8f6418e

	# checked-multiply intrinsic function for dimensions
	_checked_mul_dims() = 1, false
	_checked_mul_dims(m::Int) = m, Intrinsics.ule_int(typemax_Int, m) # equivalently: (m + 1) < 1
	function _checked_mul_dims(m::Int, n::Int)
	b = Intrinsics.checked_smul_int(m, n)
	a = getfield(b, 1)
	ovflw = getfield(b, 2)
	ovflw = Intrinsics.or_int(ovflw, Intrinsics.ule_int(typemax_Int, m))
	ovflw = Intrinsics.or_int(ovflw, Intrinsics.ule_int(typemax_Int, n))
	return a, ovflw
	end
	function _checked_mul_dims(m::Int, d::Int...)
	@_foldable_meta # the compiler needs to know this loop terminates
	a = m
	i = 1
	ovflw = false
	while Intrinsics.sle_int(i, nfields(d))
	di = getfield(d, i)
	b = Intrinsics.checked_smul_int(a, di)
	ovflw = Intrinsics.or_int(ovflw, getfield(b, 2))
	ovflw = Intrinsics.or_int(ovflw, Intrinsics.ule_int(typemax_Int, di))
	a = getfield(b, 1)
	i = Intrinsics.add_int(i, 1)
	end
	return a, ovflw
	end
	# convert a set of dims to a length, with overflow checking
	checked_dims() = 1
	checked_dims(m::Int) = m # defer this check to Memory constructor instead
	function checked_dims(d::Int...)
	b = _checked_mul_dims(d...)
	getfield(b, 2) && throw(ArgumentError("invalid Array dimensions"))
	return getfield(b, 1)
	end

[oscardssmith]

Given that 1.10 allowed both, I think this is a regression. Fix incoming.