Segfault when using improperly defined struct about julia

[gbaraldi]

On master I don't get a segfault but I still get an internal error.

[JeffBezanson]

Originally I wanted to only assign the global A when the type was complete, but that led to #36104. Since we can't unassign globals, it seems we're stuck with zombie types. Maybe an ok fix is to return all Union{} for the fieldtypes of such types?

[Keno]

Time to revisit #32658?

[vtjnash]

I think if we could fix dispatch with malformed types to go to the kind instead, we could treat these as malformed types which have inference disabled on them (instead of as concrete types) until the fields get populated? I am still not exactly sure of the details of that though.

Is there some part of #32658 we should try to merge and backport now?

[JeffBezanson]

The easier version of this is to just never populate the field types, and you have to reload the module and try again.