`--trace-compile` / `static_show` fails to round-trip for several types (☔ umbrella issue)

[topolarity]

An effort to give an exhaustive list of loose ends after #58512 and #58584:

• primitive types ¹
  • Int128 ²
• isbits struct values ³
  • with custom constructors ⁴
• esoteric IEEE 754 floating-point values
  • BFloat16
  • non-canonical NaN values
• UnionAll types with syntactically overlapping type-vars ⁵

Footnotes

1. These have no standard constructors. A reinterpret functionality would fix the power-of-two case. See https://github.com/JuliaLang/julia/pull/58623 ↩

2. discussed in https://github.com/JuliaLang/julia/pull/58512/files#r2114197085 ↩

3. https://github.com/JuliaLang/julia/pull/58624 ↩

4. https://github.com/JuliaLang/julia/pull/58627 ↩

5. https://github.com/JuliaLang/julia/issues/58588 ↩

[NHDaly]

Thank you for this list, @topolarity! ❤ 👍

Can we now close #28808 in favor of this consolidated list?
Are there any cases in that thread that aren't listed here? If everything is covered, I think we should close that one as largely resolved, and leave this nicely consolidated list as the remaining tracking ticket.

[topolarity]

Can we now close #28808 in favor of this consolidated list?

I think so:

• Cases 1-2 are fixed by Make more types jl_static_show readably #58512
• Case 3 is covered in this issue
• Case 4 is probably an old variant of --trace-compile outputs invalid precompile(...) for some Vararg signatures in 1.10 / 1.12 #58583
• Case 5 is the standard Module / TypeName mapping issue when trying to eval these types
• Case 6 is pkgimages cannot include / pre-compile certain code (☔ umbrella issue) #58759