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
As per a suggestion of @lcnr. I've got some ideas on how to do this, but they mostly make sense when all attributes become parsed. At that point I think we can get rid of AttributeKind, and AttributeExt, and instead make one enum (Attribute) where the unparsed tool attributes become just an (uncommon) variant.