julia> Meta.@lower function versioninfo(io::IO=stdout; verbose::Bool=false)
           s = ""
           function foo(s::String)
               return s == ""
           end
           function bar(s::String)
               return foo(k)
           end
           return bar(s)
       end
:($(Expr(:thunk, CodeInfo(
...
│   %3  = Main.:(var"#foo#14")
│         foo = %new(%3)
│   @ REPL[9]:6 within `unknown scope`
│   %5  = Main.:(var"#bar#15")
│   %6  = foo
│   %7  =   dynamic Core._typeof_captured_variable(%6)
│   %8  =   builtin Core.apply_type(%5, %7)
│   %9  = foo
│         bar = %new(%8, %9)
...
))))

julia> JuliaLowering.include_string(Main, raw"""
       function versioninfo(io::IO=stdout; verbose::Bool=false)
                  s = ""
                  function foo(s::String)
                      return s == ""
                  end
                  function bar(s::String)
                      return foo(k)
                  end
                  return bar(s)
              end
       """; expr_compat_mode=true)
# printed from eval.jl just before returning the thunk:
:($(Expr(:thunk, CodeInfo(
...
1 ─       foo = Core.Box()
│         $(Expr(:meta, :nkw, 1))
│   @ string:2 within `unknown scope`
│         s = ""
│   @ string:3 within `unknown scope`
│   %4  = Main.:(var"##versioninfo#3#foo##0")
│   %5  = %new(%4)
│   %6  = foo
│           builtin Core.setfield!(%6, :contents, %5)
│   @ string:6 within `unknown scope`
│   %8  = Main.:(var"##versioninfo#3#bar##0")
│   @ string:3 within `unknown scope`
│   %9  = foo
│   @ string:6 within `unknown scope`
│   %10 = %new(%8, %9)
│         bar = %10
...
))))