Constant rustc_dump_symbol_name 

pub const rustc_dump_symbol_name: Symbol;