> yeah, and unicode normalization will result in that behavior, it's just 
> something that whoever implements this needs to remember to do.

I'm not sure why the compiler would do Unicode normalization when your editor 
is supposed to do it.

Reply via email to