I'm not sure if there are any functions in the display/show/repr family that are supposed to obey it, but it would be nice if a_rt === a (to the extent that everything is bitstype) in the following

using StaticArrays

a = @SArray [(SA_F32[1,2,3]), SA_F32[2,3,4]]
@show typeof(a)
sa = repr(a)
@show sa
a_rt = eval(Meta.parse(sa))
@show typeof(a_rt)

output:

typeof(a) = SArray{Tuple{2},SArray{Tuple{3},Float32,1,3},1,2}
sa = "SArray{Tuple{3},Float32,1,3}[[1.0, 2.0, 3.0], [2.0, 3.0, 4.0]]"
typeof(a_rt) = Array{SArray{Tuple{3},Float32,1,3},1}

(related a bit to the conversation in #691.