Lines Matching defs:REPLACEMENT
16667 /// [`U+FFFD REPLACEMENT CHARACTER`][U+FFFD], which looks like this: �16724 const REPLACEMENT: &str = "\u{FFFD}";16729 res.push_str(REPLACEMENT);16735 res.push_str(REPLACEMENT);