Rustc oddities
NFC normalisation for lifetime/label
Identifiers are normalised to NFC,
which means that Kelvin and Kelvin are treated as representing the same identifier.
See rfc2457.
But this doesn't happen for lifetimes or labels, so 'Kelvin and 'Kelvin are different as lifetimes or labels.
For example, this compiles without warning in Rust 1.83, while this doesn't.
In this writeup, the represented identifier attribute of Identifier and RawIdentifier fine-grained tokens is in NFC,
and the name attribute of LifetimeOrLabel and RawLifetimeOrLabel tokens isn't.
I think this behaviour is a promising candidate for provoking the "Wait...that's what we currently do? We should fix that." reaction to being given a spec to review.
Filed as rustc #126759.