uncompressing method source results in corrupted debuginfo

[simeonschaub]

The codelocs field here seems to have been corrupted:

julia> fnone1() = nothing;

julia> Base.uncompressed_ast(only(methods(fnone1))).debuginfo
Core.DebugInfo(Symbol("REPL[1]"), nothing, svec(), "\x01\0\0\0\0\0\0\0\0\0\0\0\x01\x01\0")

Note that code_lowered seems to handle this correctly:

julia> only(code_lowered(fnone1)).debuginfo
Core.DebugInfo(Symbol("REPL[1]"), nothing, svec(), "")

Interestingly, this also goes away as soon as the binding nothing is resolved in Main:

julia> nothing

julia> fnone2() = nothing;

julia> Base.uncompressed_ast(only(methods(fnone2))).debuginfo
Core.DebugInfo(Symbol("REPL[2]"), nothing, svec(), "")

cc @vtjnash

[vtjnash]

I am not quite sure what this is supposed to mean by "corrupted". The tables describe different IR, so of course they will have some different content?

julia> code_lowered(fnone1)
2-element Vector{Core.CodeInfo}:
 CodeInfo(
    @ REPL[4]:1 within `unknown scope`
1 ─ %1 = Main.nothing
└──      return %1
)
 CodeInfo(
1 ─     return Main.nothing
)

[simeonschaub]

Hmm, true. I guess I got confused because code_lowered seems to be stripping debuginfo