bpart changes

`Core._typebody!` now takes a new "prev" argument, which we don't use yet here.
 Changes from JuliaLang/julia#57253

Author: mlechu

src/closure_conversion.jl

@@ -147,6 +147,7 @@ function convert_global_assignment(ctx, ex, var, rhs0)
     end
     push!(stmts, @ast ctx ex [K"=" var rhs])
     @ast ctx ex [K"block"
+        [K"globaldecl" var]
         stmts...
         rhs1
     ]

src/desugaring.jl

@@ -3417,7 +3417,7 @@ function expand_abstract_or_primitive_type(ctx, ex)
                 ]
                 [K"=" name newtype_var]
                 [K"call" "_setsuper!"::K"core" newtype_var supertype]
-                [K"call" "_typebody!"::K"core" newtype_var]
+                [K"call" "_typebody!"::K"core" false::K"Bool" name]
             ]
         ]
         [K"assert" "toplevel_only"::K"Symbol" [K"inert" ex] ]
@@ -3981,7 +3981,9 @@ function expand_struct_def(ctx, ex, docs)
                 ]
                 [K"call"(type_body)
                     "_typebody!"::K"core"
-                    struct_name
+                    # TODO: if there is a previous compatible definition, re-use params. See #57253
+                    false::K"Bool"
+                    newtype_var
                     [K"call" "svec"::K"core" field_types...]
                 ]
                 [K"const"

src/runtime.jl

@@ -130,7 +130,7 @@ function eval_closure_type(mod, closure_type_name, field_names, field_is_box)
                             length(field_names))
     Core._setsuper!(type, Core.Function)
     Base.eval(mod, :(const $closure_type_name = $type))
-    Core._typebody!(type, Core.svec(field_types...))
+    Core._typebody!(false, type, Core.svec(field_types...))
     type
 end