The current proposal allows `"\u{10_ffff}"`. Is this intentional?
The current proposal allows
"\u{10_ffff}". Is this intentional?