Egg: Analysis types depending on external vars

[ashiven]

• The same thing that is happening in Slotted: Unable to reconstruct types depending on external slots #27 is also happening for types in the egg implementation that depend on external variables (instead of slots)