Yes, I started reading the reference. The normalization form issue is different to the #[non_ascii_idents] feature, though. The issue 2253 does mention address

Yes, I started reading the reference. The normalization form issue is different to the #[non_ascii_idents] feature, though. The issue 2253 does mention address it, but all the comments mention the issue of NFC/NFKC normalization specifically for filesystem lookup and for program identifiers, but not for the lexing stage. That issue is obviously the best place to continue any conversation about it.