You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
TypePlaceholder was introduced to deal with expressions instantiated to different types at call sites by delaying the creation of fresh type identifiers. It can also be used as a "placeholder" when we erase the type of expressions. With a properly implemented type identifier instantiation mechanism, TypePlaceholder can be removed from this implementation.
TypePlaceholderwas introduced to deal with expressions instantiated to different types at call sites by delaying the creation of fresh type identifiers. It can also be used as a "placeholder" when we erase the type of expressions. With a properly implemented type identifier instantiation mechanism,TypePlaceholdercan be removed from this implementation.