Function rustc_symbol_mangling::hashed::push_hash64

fn push_hash64(hash: u64, output: &mut String)