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
The error printed is TypeError: The object is not a string, but that's confusing. The reason is that there is a code path where the symbol is casted to a string, which does not work.
The text was updated successfully, but these errors were encountered:
This is not allowed by rhino, but it should be:
The error printed is
TypeError: The object is not a string
, but that's confusing. The reason is that there is a code path where the symbol is casted to a string, which does not work.The text was updated successfully, but these errors were encountered: