Make check_args of a type forward to check_type

Author: chriselrod

Project.toml

@@ -1,7 +1,7 @@
 name = "LoopVectorization"
 uuid = "bdcacae8-1622-11e9-2a5c-532679323890"
 authors = ["Chris Elrod <[email protected]>"]
-version = "0.12.2"
+version = "0.12.3"
 
 [deps]
 ArrayInterface = "4fba245c-0d91-5ea0-9b3e-6abc04ee57a9"

src/condense_loopset.jl

@@ -381,7 +381,7 @@ end
 end
 @inline check_args(A, B, C::Vararg{Any,K}) where {K} = check_args(A) && check_args(B, C...)
 @inline check_args(::AbstractRange{T}) where {T} = check_type(T)
-@inline check_args(::Type{T}) where {T <: VectorizationBase.NativeTypesV} = true
+@inline check_args(::Type{T}) where {T} = check_type(T)
 """
     check_type(::Type{T}) where {T}