Define general constructor with construct_type

Author: N5N3

src/convert.jl

@@ -89,12 +89,15 @@ _no_precise_constructor(SA, ::Type{Tuple{N}}) where {N} = throw(DimensionMismatc
 _no_precise_constructor(SA, SZ::Type{<:Tuple}) = throw(DimensionMismatch("No precise constructor for $SA found. Size of input was $SZ."))
 _no_precise_constructor(SA) = throw(DimensionMismatch("No precise constructor for $SA found. Input is not static sized."))
 
-(::Type{SA})(x::Tuple{Tuple{Tuple{<:Tuple}}}) where {SA <: StaticArray} =
-    throw(DimensionMismatch("No precise constructor for $SA found. Length of input was $(length(x[1][1][1]))."))
-
-@inline (::Type{SA})(x...) where {SA <: StaticArray} = SA(x)
-@inline (::Type{SA})(a::StaticArray) where {SA<:StaticArray} = SA(Tuple(a))
-@inline (::Type{SA})(a::StaticArray) where {SA<:SizedArray} = SA(a.data)
+@inline (::Type{SA})(x...) where {SA <: StaticArray} = construct_type(SA, Args(x))(x)
+@inline function (::Type{SA})(x::Tuple) where {SA <: Union{SArray, MArray, SHermitianCompact, SizedArray}}
+    SA′ = construct_type(SA, x)
+    x isa eltype(SA′) ? SA′((x,)) : SA′(x)
+end
+@inline function (::Type{SA})(sa::StaticArray) where {SA <: StaticArray}
+    SA′ = construct_type(SA, sa)
+    sa isa eltype(SA′) ? SA′((sa,)) : SA′(Tuple(sa))
+end
 @propagate_inbounds (::Type{SA})(a::AbstractArray) where {SA <: StaticArray} = convert(SA, a)
 
 # this covers most conversions and "statically-sized reshapes"