@@ -220,8 +220,7 @@ impl<'a> StringReader<'a> {
220220 if is_raw_ident {
221221 ident_start = ident_start + BytePos ( 2 ) ;
222222 }
223- // FIXME: perform NFKC normalization here. (Issue #2253)
224- let sym = self . symbol_from ( ident_start) ;
223+ let sym = self . nfc_symbol_from ( ident_start) ;
225224 if is_raw_ident {
226225 let span = self . mk_sp ( start, self . pos ) ;
227226 if !sym. can_be_raw ( ) {
@@ -470,6 +469,20 @@ impl<'a> StringReader<'a> {
470469 Symbol :: intern ( self . str_from_to ( start, end) )
471470 }
472471
472+ /// As symbol_from, with the text normalized into Unicode NFC form.
473+ fn nfc_symbol_from ( & self , start : BytePos ) -> Symbol {
474+ use unicode_normalization:: { is_nfc_quick, IsNormalized , UnicodeNormalization } ;
475+ debug ! ( "taking an normalized ident from {:?} to {:?}" , start, self . pos) ;
476+ let sym = self . str_from ( start) ;
477+ match is_nfc_quick ( sym. chars ( ) ) {
478+ IsNormalized :: Yes => Symbol :: intern ( sym) ,
479+ _ => {
480+ let sym_str: String = sym. chars ( ) . nfc ( ) . collect ( ) ;
481+ Symbol :: intern ( & sym_str)
482+ }
483+ }
484+ }
485+
473486 /// Slice of the source text spanning from `start` up to but excluding `end`.
474487 fn str_from_to ( & self , start : BytePos , end : BytePos ) -> & str {
475488 & self . src [ self . src_index ( start) ..self . src_index ( end) ]
0 commit comments