So you probably need to implement this in `TagName` rather than here, and @SimonSapin tells me you can use `to_ascii_upper()` from `std::ascii::StrAsciiExt` there.