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
@VladUreche said:
I agree it's annoying to copy annotations over in Duplicators, but having them attached to symbols makes any annotation change much easier, as there's no need to update the tree. So I guess it's Duplicators that should adapt, not the other way around.
On the other hand, I should really look into this, copying over annotations using the invalidSyms map only copied the annotations to skolems instead of the original type params, so there may be deeper bugs that need to be addressed. Or maybe it should only track skolems?
This prevents a full fix for #7344.
The text was updated successfully, but these errors were encountered: