"LoweringError: `module` is only allowed at top level" for modules with doc-comments

[topolarity]

using JuliaLowering
JuliaLowering.include_string(Module(), raw"""
"MagicModule"
module MagicModule; end
""")

ERROR: LoweringError:
"MagicModule"
module MagicModule; end
└─────────────────────┘ ── `module` is only allowed at top level


Detailed provenance:
(module MagicModule (block))
└─ @ string:2

Stacktrace:
  [1] expand_forms_2(ctx::JuliaLowering.DesugaringContext{…}, ex::JuliaLowering.SyntaxTree{…}, docs::JuliaLowering.SyntaxTree{…})
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/desugaring.jl:4513
  [2] expand_doc(ctx::JuliaLowering.DesugaringContext{…}, ex::JuliaLowering.SyntaxTree{…}, docex::JuliaLowering.SyntaxTree{…}, mod::Module)
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/desugaring.jl:4356
  [3] expand_doc
    @ ~/repos/julia/JuliaLowering/src/desugaring.jl:4343 [inlined]
  [4] expand_forms_2(ctx::JuliaLowering.DesugaringContext{…}, ex::JuliaLowering.SyntaxTree{…}, docs::Nothing)
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/desugaring.jl:4426
  [5] expand_forms_2
    @ ~/repos/julia/JuliaLowering/src/desugaring.jl:4372 [inlined]
  [6] expand_forms_2(ctx::JuliaLowering.MacroExpansionContext{JuliaLowering.SyntaxGraph{…}}, ex::JuliaLowering.SyntaxTree{JuliaLowering.SyntaxGraph{…}})
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/desugaring.jl:4626
  [7] lower_step(iter::JuliaLowering.LoweringIterator{JuliaLowering.SyntaxGraph{Dict{Symbol, Any}}}, push_mod::Nothing)
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/eval.jl:96
  [8] lower_step(iter::JuliaLowering.LoweringIterator{JuliaLowering.SyntaxGraph{Dict{Symbol, Any}}})
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/eval.jl:48
  [9] lower_step(iter::JuliaLowering.LoweringIterator{JuliaLowering.SyntaxGraph{Dict{Symbol, Any}}}, push_mod::Nothing)
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/eval.jl:79
 [10] _eval(mod::Module, iter::JuliaLowering.LoweringIterator{JuliaLowering.SyntaxGraph{Dict{Symbol, Any}}})
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/eval.jl:476
 [11] #eval#170
    @ ~/repos/julia/JuliaLowering/src/eval.jl:461 [inlined]
 [12] eval
    @ ~/repos/julia/JuliaLowering/src/eval.jl:457 [inlined]
 [13] #include_string#173
    @ ~/repos/julia/JuliaLowering/src/eval.jl:567 [inlined]
 [14] include_string
    @ ~/repos/julia/JuliaLowering/src/eval.jl:565 [inlined]
 [15] include_string(mod::Module, code::String)
    @ JuliaLowering ~/repos/julia/JuliaLowering/src/eval.jl:565

[topolarity]

I'm not sure why we don't hit this when pre-compiling the stdlibs through the normal pathway (e.g. UUIDs.jl contains such a module)

Maybe it depends on whether we're using JL's module iterator?

[mlechu]

I believe this is the iterator. Also see comments on #84