Constant creusot_contracts::std::char::REPLACEMENT_CHARACTER

pub const REPLACEMENT_CHARACTER: char = char::REPLACEMENT_CHARACTER; // '�'

U+FFFD REPLACEMENT CHARACTER (�) is used in Unicode to represent a decoding error. Use char::REPLACEMENT_CHARACTER instead.