fix :typeinfo with views (closes #25038) (#25040)

Author: rfourquet

base/arrayshow.jl

@@ -321,10 +321,6 @@ function _display(io::IO, X::AbstractArray)
         # override usual show method for Vector{Method}: don't abbreviate long lists
         io = IOContext(io, :limit => false)
     end
-    # we assume this function is always called from top-level, i.e. that it's not nested
-    # within another "show" method; hence we always print the summary, without
-    # checking for current :typeinfo (this could be changed in the future)
-    io = IOContext(io, :typeinfo => eltype(X))
 
     # 1) print summary info
     summary(io, X)
@@ -336,6 +332,15 @@ function _display(io::IO, X::AbstractArray)
         println(io)
     end
 
+    # 2) update typeinfo
+    #
+    # it must come after printing the summary, which can exploit :typeinfo itself
+    # (e.g. views)
+    # we assume this function is always called from top-level, i.e. that it's not nested
+    # within another "show" method; hence we always print the summary, without
+    # checking for current :typeinfo (this could be changed in the future)
+    io = IOContext(io, :typeinfo => eltype(X))
+
     # 2) show actual content
     print_array(io, X)
 end

test/show.jl

@@ -1041,4 +1041,7 @@ end
         # from eltype(x), so this must also be printed
         @test replstr(x) == "1-element Array{Any,1}:\n Any[Any[1]]"
     end
+    # Issue #25038
+    A = [0.0, 1.0]
+    @test replstr(view(A, [1], :)) == "1×1 view(::Array{Float64,2}, [1], :) with eltype Float64:\n 0.0"
 end