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
Don't use ඞ please, I can't use #![deny(non_ascii_idents)].
I saw that you've done this so that the macro output doesn't leak, and that people can't use symbols which are considered implementation minutiae. That sort of thing should be documented, but don't forcefully make that decision for people. They can still expand the macro and copy and paste the symbols.
The text was updated successfully, but these errors were encountered:
Don't use
ඞ
please, I can't use#![deny(non_ascii_idents)]
.I saw that you've done this so that the macro output doesn't leak, and that people can't use symbols which are considered implementation minutiae. That sort of thing should be documented, but don't forcefully make that decision for people. They can still expand the macro and copy and paste the symbols.
The text was updated successfully, but these errors were encountered: