pub fn cast_char_to_string<'a>(a: Char<&'a str>) -> &'a str