Merge pull request #230 from JuliaArrays/fixinference

Type stability fix

Author: chriselrod

Project.toml

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

src/ArrayInterface.jl

@@ -445,13 +445,9 @@ Is strides(::T) defined? It is assumed that types returning `true` also return a
 pointer on `pointer(::T)`.
 """
 defines_strides(x) = defines_strides(typeof(x))
-function defines_strides(::Type{T}) where {T}
-    if parent_type(T) <: T
-        return false
-    else
-        return defines_strides(parent_type(T))
-    end
-end
+_defines_strides(::Type{T}, ::Type{T}) where {T} = false
+_defines_strides(::Type{P}, ::Type{T}) where {P,T} = defines_strides(P)
+defines_strides(::Type{T}) where {T} = _defines_strides(parent_type(T), T)
 defines_strides(::Type{<:StridedArray}) = true
 function defines_strides(::Type{<:SubArray{T,N,P,I}}) where {T,N,P,I}
     return stride_preserving_index(I) === True()