rustc_symbol_mangling::hashed

Function push_hash64

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