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
eyalroz
changed the title
Make mangled names into a different class, so that they don't get confused with strings
Make mangled and unmangled (kernel) names more difficult to mix up
Sep 10, 2024
It is easy to confuse non-mangled with mangled names. Let's enforce a hard separation of them using a (non-owning) class.
The text was updated successfully, but these errors were encountered: