Fix inferrence regression on nightly for has_dimnames (#252)

Author: Tokazama

Project.toml

@@ -1,6 +1,6 @@
 name = "ArrayInterface"
 uuid = "4fba245c-0d91-5ea0-9b3e-6abc04ee57a9"
-version = "5.0.4"
+version = "5.0.5"
 
 [deps]
 Compat = "34da2185-b29b-5c13-b0c7-acf172513d20"

src/dimensions.jl

@@ -147,17 +147,15 @@ function to_parent_dims(::Type{T}, ::StaticInt{dim}) where {T,dim}
     end
 end
 
-_nunderscore(::Val{N}) where {N} = ntuple(Compat.Returns(:_), Val(N))
-
 """
     has_dimnames(::Type{T}) -> StaticBool
 
 Returns `static(true)` if `x` has on or more named dimensions. If all dimensions correspond
 to `static(:_)`, then `static(false)` is returned.
 """
-Compat.@constprop :aggressive has_dimnames(x) = static(_is_named(known_dimnames(x)))
-_is_named(x::NTuple{N,Symbol}) where {N} = x !== _nunderscore(Val(N))
-_is_named(::Any) = true
+@inline function has_dimnames(x)
+    static(known_dimnames(x) !== ntuple(Compat.Returns(:_), Val(ndims(x))))
+end
 
 """
     known_dimnames(::Type{T}) -> Tuple{Vararg{Union{Symbol,Nothing}}}
@@ -170,7 +168,7 @@ have a name.
 known_dimnames(x) = known_dimnames(typeof(x))
 known_dimnames(::Type{T}) where {T} = _known_dimnames(T, parent_type(T))
 _known_dimnames(::Type{T}, ::Type{T}) where {T} = _unknown_dimnames(Base.IteratorSize(T))
-_unknown_dimnames(::Base.HasShape{N}) where {N} = _nunderscore(Val(N))
+_unknown_dimnames(::Base.HasShape{N}) where {N} = ntuple(Compat.Returns(:_), Val(N))
 _unknown_dimnames(::Any) = (:_,)
 function _known_dimnames(::Type{C}, ::Type{P}) where {C,P}
     eachop(_inbounds_known_dimname, to_parent_dims(C), known_dimnames(P))